Published May 2, 2025
| Version v1
Software
Open
A theory of specifications, components, contracts, and compositionality formalized in HOL4
Description
Building
Building requires Poly/ML 5.7.1 (or later) and HOL4 trindemossen-1.
All HOL4 files can be built and checked using the Holmake tool bundled with HOL4:
Holmake
Contents
See the file README.md for a breakdown of file contents.
Files
README.md
Files
(40.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f305117a92e9a2eb68a02b7c44c92527
|
30.7 kB | Download |
|
md5:c4c0b005464624c8d1cb6c093ceaae01
|
10.1 kB | Preview Download |
Additional details
Related works
- Is derived from
- Software: https://github.com/rse-verification/contract-compositionality/releases/tag/v1.1 (URL)