Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking
No abstract available.
Related papers
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection APLAS 2000
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures SAS 2006
- Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution) TACAS 2022
- Concurrent Data Structures Linked in Time ECOOP 2017
- Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking CAV 2025
- Fast and flexible instruction selection with constraints CC 2018
- Prefetch inection based on hardware monitoring and object metadata PLDI 2004
- Securing Verified IO Programs Against Unverified Code in F POPL 2024