A Stubborn Attack On State Explosion
No abstract available.
Related papers
- Attacking Symbolic State Explosion CAV 2001
- RWset: Attacking Path Explosion in Constraint-Based Test Generation TACAS 2008
- On-the-Fly Verification with Stubborn Sets CAV 1993
- Adversarial Reachability for Program-level Security Analysis ESOP 2023
- Efficient Symbolic Execution of Software Under Fault Attacks ECOOP 2026
- Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995
- Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem CAV 1990
- Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion CAV 2000