We introduce Mora, an automated tool for generating invariants of probabilistic programs. Inputs to Mora are so-called Prob-solvable loops, that is probabilistic programs with polynomial assignments over random variables and parametrized distributions. Combining methods from symbolic computation and statistics, Mora computes invariant properties over higher-order moments of loop variables, expressing, for example, statistical properties, such as expected values and variances, over the value distribution of loop variables.
CITATION STYLE
Bartocci, E., Kovács, L., & Stankovič, M. (2020). Mora - Automatic generation of moment-based invariants. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12078 LNCS, pp. 492–498). Springer. https://doi.org/10.1007/978-3-030-45190-5_28
Mendeley helps you to discover research relevant for your work.