Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Abstract elided by the publisher.
Related papers
- Practical Machine-Checked Formalization of Change Impact Analysis TACAS 2020
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Verification of Quantitative Hyperproperties Using Trace Enumeration Relations CAV 2020
- Quantitative static analysis of distributed systems JFP 2005
- Model Checking Quantitative Hyperproperties CAV 2018
- Existential Types for Relaxed Noninterference APLAS 2019
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking CAV 2013