Applying Formal Methods to a Certifiably Secure Software System.
Constance L. HeitmeyerMyla ArcherElizabeth I. LeonardJohn McLeanPublished in: IEEE Trans. Software Eng. (2008)
Keyphrases
- formal methods
- safety critical
- security properties
- model checking
- development lifecycle
- formal analysis
- knowledge based systems
- model checker
- formal specification
- artificial intelligence
- process algebra
- provably correct
- software engineering
- formal specification language
- software systems
- modeling language
- reactive systems
- security issues
- software development
- source code
- knowledge representation
- databases