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

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