Program Construction and Verification Components Based on Kleene Algebra.

Victor B. F. Gomes Georg Struth

Published in: Arch. Formal Proofs (2016)

Keyphrases

symbolic execution
model checking
computer programs
hardware designs
query language
construction process
boolean algebra
database systems
programming language
building blocks
formal methods
advanced research projects agency