IMP++

swMATH1439MaRDI QIDQ14178FDOQ14178

Author name not available (Why is that?)

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 (4)

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

This page was built for software: IMP++