PV2 SMT-PGFPScomputes a minimal cut set of a hypergraph

Application domain/field

Internals

Uses MathSAT They proposed a framework called: PGFDS (Propagation Graphs over Finite Degradation Structures). This framework allows to model non-deterministic and cyclic propagation graphs.

Related papers

https://doi.org/10.1007/978-3-030-81688-9_10 (CAV 2021)

Last publication date

15 July 2021

Related tools

Compared to in the CAV '21 paper: xSAP, Emmy

ProVerB specific

View/edit source (Markdown)



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