Quantitative Static Timing Analysis
Abstract elided by the publisher.
Related papers
- Quantitative static analysis of distributed systems JFP 2005
- Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains SAS 2017
- Static determination of quantitative resource usage for higher-order programs POPL 2010
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- The impact of static-dynamic coupling on remodularization OOPSLA 2008
- Slot games: a quantitative model of computation POPL 2005
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020