Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods

@inproceedings{Katoen2010LinearInvariantGF,
  title={Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods},
  author={Joost-Pieter Katoen and Annabelle McIver and Larissa Meinicke and Carroll Morgan},
  booktitle={SAS},
  year={2010}
}
We present a constraint-based method for automatically generating quantitative invariants for linear probabilistic programs, and we show how it can be used, in combination with proof-based methods, to verify properties of probabilistic programs that cannot be analysed using existing automated methods. To our knowledge, this is the first automated method proposed for quantitative-invariant generation. 
Highly Cited
This paper has 76 citations. REVIEW CITATIONS

1 Figure or Table

Topic

Statistics

0102030201020112012201320142015201620172018
Citations per Year

76 Citations

Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.