At a Glance
| Applications | Visualizer |
| Developers | RWTH Aachen |
| Interfaces | GUI Online |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2021
PRINSYS is a tool for invariant generation for probabilistic programs.
| Applications | Visualizer |
| Developers | RWTH Aachen |
| Interfaces | GUI Online |
| Maintenance | Not Maintained |