Linear-Invariant Generation for Probabilistic Programs:

DOI10.1007/978-3-642-15769-1_24zbMath1239.68020WikidataQ57801444 ScholiaQ57801444MaRDI QIDQ4930741

Joost-Pieter Katoen, Annabelle McIver, Carroll Morgan, Larissa A. Meinicke

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_24

zbMATH Keywords

verification; invariant generation; probabilistic programs; quantitative program logic

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• REDLOG