Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
No abstract available.
Related papers
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- Parameterized verification of transactional memories PLDI 2010
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Parameterized Memory Models and Concurrent Separation Logic ESOP 2010
- Parameterized Algebraic Protocols PLDI 2023
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Parameterized Compositional Model Checking TACAS 2016