The Causal Graph Revisited for Directed Model Checking
No abstract available.
Related papers
- Causal commutative arrows revisited Haskell 2016
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited POPL 1984
- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs CAV 2010
- Causality Checking for Complex System Models VMCAI 2013
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014
- Automata-Theoretic Model Checking Revisited VMCAI 2007
- LTL Generalized Model Checking Revisited VMCAI 2009
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking TACAS 2008