swMATH26257MaRDI QIDQ37989FDOQ37989
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_10
Cited In (9)
- 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
- Dependencies
- MathTools
- RISCAL
- MathChat
- LogMapBaseFunction
- Aligator.jl -- a Julia package for loop invariant generation
- PRINSYS
This page was built for software: Aligator.jl
