Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification
Abstract elided by the publisher.
Related papers
- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification CAV 2002
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness CAV 2021
- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) TACAS 2022
- Hybrid Systems: From Verification to Falsification CAV 2007
- Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification CAV 2010
- Verifying Reachability Invariants of Linked Structures POPL 1983
- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs CAV 2024