Program
Verification
Book

PV1 ⊧ z3overlayenables type-safe creation of SMT formulae

Internals

an overlay to official binding to Z3

Links

https://github.com/termite-analyser/z3overlay

Last commit date: 18 Oct 2022 (default branch)
Last commit date: 18 Oct 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by Termite
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.