On the Role of Formal Methods in Software Certification: An Experience Report.
Constance L. HeitmeyerPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- formal methods
- safety critical
- formal analysis
- development lifecycle
- model checker
- artificial intelligence
- formal specification
- modeling language
- model checking
- software engineering
- knowledge based systems
- software development
- process algebra
- software engineering practices
- data mining
- third party
- relational databases
- provably correct
- expert systems
- formal specification language