Formal Methods: State of the Art and Future Directions.
Edmund M. ClarkeJeannette M. WingPublished in: ACM Comput. Surv. (1996)
Keyphrases
- future directions
- formal methods
- lessons learned
- current challenges
- knowledge based systems
- model checking
- model checker
- formal specification
- formal analysis
- current status
- software engineering
- safety critical
- process algebra
- open questions
- provably correct
- current trends
- modeling language
- artificial intelligence
- health sciences
- real world
- development lifecycle