PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems

We develop an open-source software tool, called PRoTECT, using sum-of-squares (SOS) optimization to search for barrier certificates (BCs) that verify safety properties over four classes of polynomial systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. PRoTECT is the first software tool that offers stochastic BCs while leveraging parallelism to efficiently search for a feasible BC for different polynomial degrees. PRoTECT is implemented in Python offering both an application programming interface (API) and a user-friendly graphic user interface (GUI).