Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

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

  • theorem proving
  • annotation languages
  • test case generation
  • domain partitioning
  • HOL
  • HOL-TestGen
  • Isabelle/HOL
  • memory models
  • program verification
  • verification
  • test sequence
  • object-oriented specification language
  • object-oriented data models

  • URL: www.brucker.ch/bibliog...
  • InternetArchive
  • Authors: Brucker, Achim D.; Wolff, Burkhart

  • Add information on this software.


  • Related software:
  • ETPS
  • Isabelle/HOL
  • HOL-Boogie
  • Boogie
  • HOL-OCL
  • KeY
  • Spec#
  • Isar
  • JPF-SE
  • SMT-LIB
  • Show more...
  • Metis_
  • BoogiePL
  • z3
  • KRAKATOA
  • CVC Lite
  • Flyspeck
  • ESC/Java
  • Z
  • HOL Light
  • HOL-TestGen
  • Show less...

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

Showing results 1 to 4 of 4.
y 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)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 68 Computer science

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy