Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
Abstract elided by the publisher.
Related papers
- Parametric Timed Broadcast Protocols VMCAI 2019
- Lazy Automata Techniques for WS1S TACAS 2017
- Incremental, Inductive Coverability CAV 2013
- A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) ESOP 2016
- Decision and Complexity of Dolev-Yao Hyperproperties POPL 2024
- Predicate Abstraction via Symbolic Decision Procedures CAV 2005
- Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures CAV 1998
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs VMCAI 2006