Advances in Usability of Formal Methods for Code Verification with Frama-C.
André MaronezeValentin PerrelleFlorent KirchnerPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2019)
Keyphrases
- formal methods
- artificial intelligence
- development lifecycle
- model checking
- model checker
- formal analysis
- formal specification
- safety critical
- software engineering
- source code
- knowledge based systems
- process algebra
- provably correct
- temporal properties
- data mining
- database systems
- case study
- fine grained
- distributed systems
- reactive systems
- temporal logic