IMP++ swMATH ID: 1439 Software Authors: Brucker, Achim D.; Wolff, Burkhart Description: An extensible encoding of object-oriented data models in HOL. With an application to IMP++ Homepage: http://www.brucker.ch/bibliography/abstract/brucker.ea-extensible-2008.de.html Keywords: object-oriented data models; HOL; theorem proving; verification Related Software: ETPS; Isabelle/HOL; Boogie; Isar; Spec#; HOL-Boogie; KeY; HOL-OCL; HOL-TestGen; JPF-SE; SpecExplorer; Flyspeck; Java PathFinder; QuickCheck; Pex; Korat; GATeL; TorX; Haskell; HOL Light Cited in: 4 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year An extensible encoding of object-oriented data models in HOL. With an application to IMP++. Zbl 1191.68619Brucker, Achim D.; Wolff, Burkhart 2008 Cited by 5 Authors 4 Wolff, Burkhart 3 Brucker, Achim D. 1 Böhme, Sascha 1 Moskal, Michał 1 Schulte, Wolfram Cited in 3 Serials 2 Journal of Automated Reasoning 1 Acta Informatica 1 Formal Aspects of Computing Cited in 1 Field 4 Computer science (68-XX) Citations by Year