Poly-RL

C-library for Polyhedra analysis
C Library

Related papers

https://doi.org/10.1007/978-3-319-96145-3_12 (CAV 2018)

ProVerB specific

View/edit source (Markdown)



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