Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection
No abstract available.
Related papers
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking TACAS 2005
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures SAS 2006
- Concurrent, parallel garbage collection in linear time ISMM 2014
- Mata: A Fast and Simple Finite Automata Library TACAS 2024
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- Formal Models of Distributed Memory Management ICFP 1997
- Low-latency, high-throughput garbage collection PLDI 2022