On the Utility of Formal Methods in the Development and Certification of Software.
Constance L. HeitmeyerPublished in: TPHOLs (2007)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- knowledge based systems
- software engineering
- model checking
- artificial intelligence
- software development
- software engineering practices
- provably correct
- software design
- formal analysis
- process algebra
- quality assurance
- model checker
- software developers
- modeling language
- open source
- development process
- formal specification
- case study
- third party
- embedded systems
- software systems
- knowledge acquisition
- formal specification language
- database
- reactive systems
- security properties
- formal verification
- source code
- knowledge management
- machine learning