Model Checking Large-Scale and Parameterized Resource Allocation Systems
No abstract available.
Related papers
- DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems TACAS 2005
- Swift: Expedited Failure Recovery for Large-Scale DNN Training PPoPP 2023
- Scoped Effects as Parameterized Algebraic Theories ESOP 2024
- Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories TOPLAS 2025
- A bounded memory allocator for software-defined global address spaces ISMM 2016
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Model-Checking and Abstraction to the Aid of Parameterized Systems VMCAI 2003
- Model Checking Parameterized Asynchronous Shared-Memory Systems CAV 2015