A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
Abstract elided by the publisher.
Related papers
- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders TACAS 2001
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Analysis of Systems with Stochastic Process Creation VMCAI 2010
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes TACAS 2015