Poly-RL

C-library for Polyhedra analysis
C Library

Related papers

Fast Numerical Program Analysis with Reinforcement Learning (CAV 2018)

ProVerB specific



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