Login / Signup

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs.

Rajiv MuraliAndrew 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