Formal Methods and Industry - Introduction.
Jim Alves-FossAnn E. Kelley SobelPublished in: HICSS (1999)
Keyphrases
- formal methods
- formal analysis
- model checking
- process algebra
- formal specification
- model checker
- knowledge based systems
- safety critical
- artificial intelligence
- provably correct
- software engineering
- reactive systems
- case study
- temporal logic
- software systems
- security properties
- multi agent
- temporal properties
- database
- development lifecycle
- formal specification language