Formal methods for verification and validation of partial specifications: A case study.
Steve M. EasterbrookJohn R. CallahanPublished in: J. Syst. Softw. (1998)
Keyphrases
- formal methods
- model checker
- formal specification
- model checking
- reactive systems
- formal specification language
- automated verification
- formal analysis
- protocol specification
- formal verification
- provably correct
- concurrent systems
- bounded model checking
- temporal logic
- knowledge based systems
- safety critical
- process algebra
- software engineering
- artificial intelligence
- development lifecycle
- specification language
- temporal properties
- data mining
- modeling language
- security properties
- case study
- distributed systems
- database systems
- machine learning