IMP++

swMATH1439MaRDI QIDQ14178

No author found.

Described by source

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

Related Items (3)

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

This page was built for software: IMP++