IMP++

An extensible encoding of object-oriented data models in HOL. With an application to IMP++

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  2. Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart: HOL-Boogie -- an interactive prover-backend for the verifying C compiler (2010)
  3. Brucker, Achim D.; Wolff, Burkhart: Semantics, calculi, and analysis for object-oriented specifications (2009)
  4. Brucker, Achim D.; Wolff, Burkhart: An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (2008)