ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold Thilo Gaul Vincent Vialard Wolf Zimmermann

Published in: Workshop on Abstract State Machines (1998)

Keyphrases

active shape model
model checking
general purpose
programming language
software systems
face verification
signature verification
learning algorithm
database systems
java bytecode
database
highly optimized
formal verification
formal methods
image registration
decision trees
data sets