Context-aware approach for formal verification Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe Subject(s): Computer and Information Science, Data Communication and Networks
Conditioned slicing-Based Pre-Reduction Technique for efficient MDG Model-checker Journal title: International Journal on Computer Science and Engineering Authors: Saad Elmansori Subject(s):
