JANI: Quantitative Model and Tool Interaction
Abstract elided by the publisher.
Related papers
- Momba: JANI Meets Python TACAS 2021
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- The Quantitative Verification Benchmark Set TACAS 2019
- FIG: The Finite Improbability Generator TACAS 2020
- Verification of Quantitative Hyperproperties Using Trace Enumeration Relations CAV 2020
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Quantitative Analysis of Smart Contracts ESOP 2018
- Patterns and statistical analysis for understanding reduced resource computing OOPSLA 2010