A Polymorphic Intermediate Verification Language: Design and Logical Encoding.

K. Rustan M. Leino Philipp Rümmer

Published in: TACAS (2010)

Keyphrases

databases
design principles
engineering design
case study
database
data sets
genetic algorithm
artificial intelligence
user interface
programming language
image quality
conceptual model
highly modular