Aligator.jl

swMATH26257MaRDI QIDQ37989FDOQ37989

Author name not available (Why is that?)

Cited In (3)

• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
• Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings
• Aligator.jl -- a Julia package for loop invariant generation

This page was built for software: Aligator.jl