Login / Signup
A Generic Intermediate Representation for Verification Condition Generation.
Manuel Montenegro
Ricardo Peña
Jaime 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