Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction.
Susan L. GerhartPublished in: IEEE Softw. (1990)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- formal analysis
- model checker
- knowledge based systems
- modeling language
- model checking
- provably correct
- software engineering
- temporal properties
- reactive systems
- artificial intelligence
- formal specification
- process algebra
- source code
- database
- petri net
- software systems
- user interface