Generating Provably Correct Algorithmic Programs from Formal Specifications.
Haihe ShiJinyun XuePublished in: QSIC (2010)
Keyphrases
- provably correct
- formal specification
- formal methods
- model checking
- specification languages
- formal specification language
- object oriented design
- process algebra
- situation calculus
- concurrent systems
- reverse engineering
- specification language
- artificial intelligence
- design methodology
- software components
- machine learning
- temporal logic
- general purpose
- protocol specification
- software testing
- interval arithmetic
- business processes