We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: The Probabilistic Termination Tool Amber

Abstract: We describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner. Amber combines martingale theory with properties of asymptotic bounding functions and implements relaxed versions of existing probabilistic termination proof rules to prove/disprove (positive) almost sure termination of probabilistic loops. Amber supports programs parameterized by symbolic constants and drawing from common probability distributions. Our experimental comparisons give practical evidence of Amber outperforming existing state-of-the-art tools.
Comments: Accepted to FM 2021
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:2107.13072 [cs.PL]
  (or arXiv:2107.13072v1 [cs.PL] for this version)

Submission history

From: Marcel Moosbrugger [view email]
[v1] Tue, 27 Jul 2021 20:17:50 GMT (209kb,D)

Link back to: arXiv, form interface, contact.