Decidability of parameterized verification
From MaRDI portal
Recommendations
Cited in
(53)- scientific article; zbMATH DE number 1614699 (Why is no real title available?)
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking
- scientific article; zbMATH DE number 777294 (Why is no real title available?)
- Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
- Declarative parameterized verification of distributed protocols via the Cubicle model checker
- Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
- Model-checking parametric lock-sharing systems against regular constraints
- Checking deadlock-freedom of parametric component-based systems
- Model and program repair via group actions and structure unwinding
- Reachability in parameterized systems: all flavors of threshold automata
- Long-Run Average Behavior of Vector Addition Systems with States
- A case study on parametric verification of failure detectors
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Finding cut-offs in leaderless rendez-vous protocols is easy
- Structural place invariants for analyzing the behavioral properties of nested Petri nets
- Parameterized model checking of rendezvous systems
- On the satisfiability of local first-order logics with data
- scientific article; zbMATH DE number 7649940 (Why is no real title available?)
- On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
- Computing parameterized invariants of parameterized Petri nets
- The polynomial complexity of vector addition systems with states
- Model checking parameterised multi-token systems via the composition method
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- Parameterized model checking of networks of timed automata with Boolean guards
- Deductive verification in decidable fragments with Ivy
- Data tracking in parameterized systems
- Reachability in distributed memory automata
- Synthesizing safe coalition strategies
- Parameterized complexity of safety of threshold automata
- Verification of component-based systems with recursive architectures
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems
- Liveness in broadcast networks
- Parameterized verification of monotone information systems
- Decidability and complexity analysis by basic paramodulation
- Parameterized verification under TSO with data types
- Invariant checking for SMT-based systems with quantifiers
- Synthesis of large dynamic concurrent programs from dynamic specifications
- Verification of population protocols with unordered data
- Model checking parameterized systems
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Emptiness problems for distributed automata
- Advances in parameterized verification of population protocols
- The complexity of verifying population protocols
- What you always wanted to know about model checking of fault-tolerant distributed algorithms
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- A methodology to take credit for high-level verification during RTL verification
- Automatic WSTS-based repair and deadlock detection of parameterized systems
- Verification of SMT systems with quantifiers
- Synthesis of distributed agreement-based systems with efficiently-decidable verification
- Computing Parameterized Invariants of Parameterized Petri Nets
- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
- Synthesis of distributed algorithms with parameterized threshold guards
This page was built for publication: Decidability of parameterized verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4568312)
