Login / Signup

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

Tabea BordisLoek CleophasAlexander KittelmannTobias RungeIna SchaeferBruce W. Watson
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
  • software development
  • search algorithm
  • learning algorithm
  • decision trees
  • software engineering
  • source code