Formal Methods and Their Future.
Gerry MusgraveSimon FinnM. D. FrancisR. HarrisRoger B. HughesPublished in: EUROCAST (1993)
Keyphrases
- formal methods
- formal analysis
- safety critical
- model checking
- model checker
- artificial intelligence
- formal specification
- long term
- software engineering
- temporal properties
- knowledge based systems
- web services
- provably correct
- reactive systems
- formal specification language
- security properties
- modeling language
- knowledge management
- relational databases
- development lifecycle