Causality Checking for Complex System Models
No abstract available.
Related papers
- The Causal Graph Revisited for Directed Model Checking SAS 2009
- On the complexity of checking transactional consistency OOPSLA 2019
- Optimal Stateless Model Checking for Causal Consistency TACAS 2023
- Stateless model checking concurrent programs with maximal causality reduction PLDI 2015
- Speeding Up Maximal Causality Reduction with Static Dependency Analysis ECOOP 2017
- Gradual Consistency Checking CAV 2019
- Synthesis of Temporal Causality CAV 2024
- Chapar: certified causally consistent distributed key-value stores POPL 2016