Formal Methods and Tools: Introduction and Overview.
Rudolf BerghammerYassine LakhnechWolfgang ReifPublished in: Tool Support for System Specification, Development and Verification (1998)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- model checking
- formal specification
- safety critical
- model checker
- process algebra
- artificial intelligence
- provably correct
- temporal properties
- software engineering
- reactive systems
- security properties
- black box
- building blocks
- case study
- web services
- real world
- development lifecycle
- formal specification language