Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods.
Mandayam K. SrivasSteven P. MillerPublished in: Formal Methods Syst. Des. (1996)
Keyphrases
- formal methods
- formal verification
- model checking
- model checker
- functional verification
- temporal logic
- formal specification
- process algebra
- formal analysis
- bounded model checking
- safety critical
- symbolic model checking
- automated verification
- provably correct
- software engineering
- program slicing
- linear temporal logic
- formal specification language
- knowledge based systems
- case study
- artificial intelligence
- concurrent systems
- security properties
- databases