IMP2 - Simple Program Verification in Isabelle/HOL.

Peter Lammich Simon Wimmer

Published in: Arch. Formal Proofs (2019)

Keyphrases

theorem prover
natural deduction
digital libraries
special case
databases
genetic algorithm
multimedia
clustering algorithm
case study
high level
data structure
relational databases
black box