Aligator.jl
From MaRDI portal
Software:37989
No author found.
Related Items (3)
Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings ⋮ Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops ⋮ Aligator.jl -- a Julia package for loop invariant generation
This page was built for software: Aligator.jl
