Taming Living Logic Using Formal Methods.
Hasan BaigJan MadsenPublished in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
- formal methods
- model checker
- formal logic
- model checking
- formal analysis
- knowledge based systems
- formal specification
- artificial intelligence
- safety critical
- provably correct
- process algebra
- modal logic
- software engineering
- security properties
- temporal properties
- logic programming
- reactive systems
- development lifecycle
- modeling language
- knowledge acquisition
- expert systems
- database
- protocol specification