Model checking a C++ software framework: a case study.
John LångI. S. W. B. PrasetyaPublished in: ESEC/SIGSOFT FSE (2019)
Keyphrases
- model checking
- temporal logic
- abstract interpretation
- artifact centric
- automated verification
- software architecture
- formal verification
- finite state machines
- bounded model checking
- verification method
- ordered binary decision diagrams
- symbolic model checking
- temporal properties
- transition systems
- concurrent systems
- knowledge representation
- software development