The following pages link to Richard Trefler (Q453515):
Displayed 23 items.
- Explaining counterexamples using causality (Q453516) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Parameterized compositional model checking (Q2272926) (← links)
- Symmetry reduction for the local mu-calculus (Q2324237) (← links)
- (Q2754080) (← links)
- (Q2769609) (← links)
- (Q2848411) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Uncovering Symmetries in Irregular Process Networks (Q2926659) (← links)
- A lattice-theoretic characterization of safety and liveness (Q2943770) (← links)
- On the completeness of compositional reasoning methods (Q2946604) (← links)
- Reachability Problems in Piecewise FIFO Systems (Q2946655) (← links)
- Model Checking Using Description Logic (Q3406686) (← links)
- Formal Modeling of Communication Protocols by Graph Transformation (Q3506874) (← links)
- Extending Symmetry Reduction by Exploiting System Architecture (Q3600483) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
- Explaining Counterexamples Using Causality (Q3636856) (← links)
- (Q4218117) (← links)
- (Q4422081) (← links)
- (Q4494389) (← links)
- Bounded Model Checking with Description Logic Reasoning (Q5434479) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898622) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900581) (← links)