Algebras for Program Correctness in Isabelle/HOL.

Alasdair Armstrong Victor B. F. Gomes Georg Struth

Published in: RAMiCS (2014)

Keyphrases

theorem prover
natural deduction
theorem proving
first order logic
data sets
control program
boolean algebra
data mining
search engine
high level
multiscale
computer science
test cases
computer programs
formal methods
program execution