Power and Limitations of Formal Methods for Software Fabrication.
Michael JacksonPublished in: J. Inf. Technol. (1987)
Keyphrases
- formal methods
- safety critical
- formal analysis
- development lifecycle
- artificial intelligence
- software engineering
- formal specification
- knowledge based systems
- model checking
- provably correct
- high speed
- modeling language
- power consumption
- process algebra
- integrated circuit
- security properties
- model checker
- high density
- software development
- fault tolerant
- information systems
- temporal properties
- data mining