Verification and code generation for invariant diagrams in Isabelle.

Viorel Preoteasa Ralph-Johan Back Johannes Eriksson

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

code generation
software development
application development
code generator
modeling language
model checking
formal specification
software reuse
theorem prover
model driven
rapid prototyping
database
artificial intelligence
data processing
metamodel
natural deduction