Skip to main content

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

DOI 10.1007/978-3-540-45069-6_22 dblp BibTeX

Abstract elided by the publisher.

Related papers

Model checking for weakly consistent libraries PLDI 2019
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking CAV 2013
Model Checking for Programming Languages using Verisoft POPL 1997
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration CAV 2016
Optimal Stateless Model Checking for Causal Consistency TACAS 2023
Effective lock handling in stateless model checking OOPSLA 2019
Optimal stateless model checking under the release-acquire semantics OOPSLA 2018
Deriving linearizable fine-grained concurrent objects PLDI 2008