Login / Signup

An overview of the Leon verification system: verification by translation to recursive functions.

Régis BlancViktor KuncakEtienne KneussPhilippe Suter
Published in: SCALA@ECOOP (2013)
Keyphrases
  • recursive functions
  • model checking
  • inductive inference
  • verification method
  • database
  • prior knowledge
  • active learning
  • small number
  • machine translation
  • face verification
  • formal methods
  • formal verification