Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
PV1
⊧
z3overlay
enables type-safe creation of SMT formulae
Internals
an overlay to official binding to
Z3
Library
SMT
Links
https://github.com/termite-analyser/z3overlay
Last commit date
3 July 2021
ProVerB specific
View/edit source
(Markdown)
ProVerB
is a part of
SLEBoK
. Last updated:
July 2022
.