Handling Parameterized Systems with Non-atomic Global Conditions
Abstract elided by the publisher.
Related papers
- Handling Global Conditions in Parameterized System Verification CAV 1999
- Parameterized Verification of Infinite-State Processes with Global Conditions CAV 2007
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- Parameterized verification under TSO is PSPACE-complete POPL 2020
- Interprocedural query extraction for transparent persistence OOPSLA 2008
- A type and effect system for atomicity PLDI 2003
- On the Complexity of Checking Soundness of Natural Reductions CAV 2026
- Static analysis of atomicity for programs with non-blocking synchronization PPoPP 2005