The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Topics & Concepts
Probabilistic logicParameterized complexityComputer scienceBounding overwatchClass (philosophy)Theoretical computer scienceProbabilistic CTLAlgorithmProgramming languageDiscrete mathematicsProbabilistic analysis of algorithmsMathematicsArtificial intelligenceFormal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques