Keyphrases
- programming language
- model checking
- temporal logic
- general purpose
- formal verification
- symbolic model checking
- formal specification
- high level
- automated verification
- denotational semantics
- object oriented
- model checker
- transition systems
- programming environment
- software engineering
- strongly typed
- logic programming
- database languages
- bounded model checking
- computation tree logic
- formal methods
- temporal properties
- timed automata
- verification method
- specification language
- databases
- abstract data types
- lambda calculus