Login / Signup
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs.
Rajiv Murali
Andrew Ireland
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
</>
provably correct
formal methods
situation calculus
semi automated
source code
fully automated
knowledge representation
learning algorithm
fine grained
automated analysis
error detection