Formal Methods for Developing Software Specifications: Paths to Wider Usage.
Constance L. HeitmeyerPublished in: PDPTA (1999)
Keyphrases
- formal methods
- development lifecycle
- model checker
- formal specification
- reactive systems
- formal specification language
- safety critical
- model checking
- formal analysis
- process algebra
- knowledge based systems
- artificial intelligence
- software engineering
- protocol specification
- control flow
- high level
- shortest path
- provably correct
- software development
- temporal properties
- data flow
- specification language
- concurrent systems
- query language
- software testing
- development process