HOL-Boogie -- An interactive prover-backend for the Verifiying C Compiler

by Sascha Böhme , Michał Moskal , Wolfram Schulte , Burkhart Wolff
Citations:7 - 4 self