FORTEST: Formal Methods and Testing.
Jonathan P. BowenKirill BogdanovJohn A. ClarkMark HarmanRobert M. HieronsPaul J. KrausePublished in: COMPSAC (2002)
Keyphrases
- formal methods
- development lifecycle
- safety critical
- model checking
- formal analysis
- knowledge based systems
- software engineering
- model checker
- formal specification
- temporal properties
- artificial intelligence
- process algebra
- provably correct
- test cases
- security properties
- software testing
- query language
- data model
- case study
- information systems