Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Jean-Pierre CourtiatPiotr DembinskiGerard J. HolzmannLuigi LogrippoHarry RudinPamela ZavePublished in: Comput. Networks ISDN Syst. (1996)
Keyphrases
- formal methods
- selected papers
- formal analysis
- formal specification
- model checking
- artificial intelligence
- knowledge based systems
- safety critical
- acm sigmis cpr
- process algebra
- lessons learned
- model checker
- international workshop
- advances in artificial intelligence
- security properties
- software engineering
- reactive systems
- life cycle
- distributed systems
- provably correct
- centre for advanced studies
- computer science