At a Glance
| Applications | Probabilistic Invariant Synthesizer |
| Developers | RWTH Aachen |
| Interfaces | GUI |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2012
PRINSYS is a tool for invariant generation for probabilistic programs.