TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
Abstract elided by the publisher.
Related papers
- Computing Conditional Probabilities in Markovian Models Efficiently TACAS 2014
- Maximum Causal Entropy Specification Inference from Demonstrations CAV 2020
- Rare Event Simulation for Non-Markovian Repairable Fault Trees TACAS 2020
- Compositional Symbolic Execution for the Next 700 Memory Models OOPSLA 2025
- Compositional dynamic test generation POPL 2007
- Compass: strong and compositional library specifications in relaxed memory separation logic PLDI 2022
- Compositional Specification and Model Checking in GSTE CAV 2004
- Compositional Performance Analysis TACAS 1997