HOL-Z

MaRDI QIDQ15531swMATHFDO

Official website http://www.brucker.ch/projects/hol-z/

Described by source

• FM 2005: Formal Methods

Cited in

(7)

• Building Formal Method Tools in the Isabelle/Isar Framework
• Verifying a signature architecture: a comparative case study
• Graph transformation benchmarks
• VPM
• csp2B
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• Testing for refinement in \textsf{Circus}

This page was built for software: HOL-Z