On the Role of Non-functional Properties in Compiler Verification.

Jens Knoop Wolf Zimmermann

Published in: ISoLA (2) (2010)

Keyphrases

general purpose
programming language
model checking
decision trees
high level
image sequences
relational databases
software engineering
formal methods
formal verification
code generation
asynchronous circuits