An Invitation to Formal Methods.
Jonathan P. BowenRicky W. ButlerDavid L. DillRobert L. GlassDavid GriesAnthony HallMichael G. HincheyC. Michael HollowayDaniel JacksonCliff B. JonesMichael J. LutzDavid Lorge ParnasJohn M. RushbyJeannette M. WingPamela ZavePublished in: Computer (1996)
Keyphrases
- formal methods
- formal analysis
- model checking
- provably correct
- knowledge based systems
- safety critical
- model checker
- formal specification
- process algebra
- software engineering
- artificial intelligence
- development lifecycle
- reverse engineering
- machine learning
- security properties
- reactive systems
- information systems
- data mining