Application of formal methods to system and software specification.
William G. WoodPublished in: Formal Methods in Software Development (1990)
Keyphrases
- formal methods
- development lifecycle
- safety critical
- formal analysis
- formal specification
- provably correct
- protocol specification
- reactive systems
- model checking
- knowledge based systems
- model checker
- temporal properties
- decision support
- software development
- artificial intelligence
- software application
- process algebra
- modeling language
- software engineering
- formal specification language
- information systems