Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.
Fabrice KordonLom-Messan HillahFrancis Hulin-HubardLoïg JezequelEmmanuel Paviot-AdetPublished in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
- model checking
- temporal logic
- artificial intelligence
- formal specification
- verification method
- model checker
- computation tree logic
- automated verification
- symbolic model checking
- temporal properties
- finite state
- epistemic logic
- pspace complete
- formal verification
- finite state machines
- np hard
- abstract interpretation
- search algorithm