The Future of Formal Methods in Industry.
Anthony HallDavid Lorge ParnasNico PlatJohn M. RushbyChris T. SennettPublished in: ZUM (1995)
Keyphrases
- formal methods
- formal analysis
- model checking
- safety critical
- artificial intelligence
- case study
- formal specification
- process algebra
- software engineering
- knowledge based systems
- long term
- model checker
- security properties
- expert systems
- real world
- reactive systems
- provably correct
- development lifecycle
- future trends
- business schools