PV1 µZcomputes fixed points of a set of constraints

Application domain/field

Type of tool

Fixed point engine/calculator

Expected input

Format:

One of the following:

Expected output

It computes fixed points with constraints.

Comments

Part of Z3

Links

Repository of Z3 (µZ is part of this tool): https://github.com/Z3Prover/z3

Related papers

https://doi.org/10.1007/978-3-642-22110-1_36 (CAV' 11)

Last publication date

2011

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.