Formal methods: Importance, experience, and comparative analysis.
Hazem El-GendyNabil El-KadhiPublished in: J. Comput. Methods Sci. Eng. (2005)
Keyphrases
- comparative analysis
- formal methods
- model checking
- formal analysis
- formal specification
- knowledge based systems
- provably correct
- safety critical
- model checker
- artificial intelligence
- software engineering
- temporal properties
- development lifecycle
- process algebra
- semi quantitative
- security properties
- natural language
- real world
- reactive systems
- case study
- fusion scheme
- building blocks
- expert systems
- data model
- software development
- knowledge acquisition
- petri net