Program
Verification
Book

PV0 ⊧ JConstraintsa Java library for working with logic constraints

Related papers

https://doi.org/10.1007/978-3-030-22348-9_19

ProVerB specific

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

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