A Sweep-Line Method for State Space Exploration
No abstract available.
Related papers
- Automated Generation of a Progress Measure for the Sweep-Line Method TACAS 2004
- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method TACAS 2004
- Model Checking for Programming Languages using Verisoft POPL 1997
- A Study of Large Object Spaces ISMM 1998
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Exploring Very Large State Spaces Using Genetic Algorithms TACAS 2002
- Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance PLDI 2008