PRINSYS

MaRDI QIDQ5972317swMATHFDO

Official website https://www-i2.informatik.rwth-aachen.de/prinsys/

Cited in

(2)

• Aligator.jl
• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

This page was built for software: PRINSYS