HOL-Z

swMATH2996MaRDI QIDQ15531FDOQ15531

Author name not available (Why is that?)

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