Small Step Incremental Verification of Compilers.

Wolf Zimmermann Thomas Kühn Edward Sabinus Mandy Weißbach

Published in: ABZ (2024)

Keyphrases

incremental learning
multi step
post processing
hardware and software
multi agent systems
model checking
small number
programming language
general purpose
formal verification
small size
database
evolutionary algorithm
case study
knowledge base
search engine
machine learning
data mining