IMP++

MaRDI QIDQ14178swMATHFDO

Official website http://www.brucker.ch/bibliography/abstract/brucker.ea-extensible-2008.de.html

Described by source

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

Cited in

(6)

• On theorem prover-based testing
• HOL-Boogie -- an interactive prover-backend for the verifying C compiler
• SecureUML
• HOL-Z
• HOL-OCL
• Semantics, calculi, and analysis for object-oriented specifications

This page was built for software: IMP++