Login / Signup

A Generic Intermediate Representation for Verification Condition Generation.

Manuel MontenegroRicardo PeñaJaime Sánchez-Hernández
Published in: LOPSTR (2015)
Keyphrases
  • intermediate representation
  • intermediate level
  • model checking
  • high level
  • tightly coupled
  • databases
  • viewpoint
  • feature vectors
  • general purpose
  • multistage
  • object models
  • intermediate representations