Abduction of trap invariants in parameterized systems
From MaRDI portal
Publication:6649511
DOI10.4204/eptcs.346.1MaRDI QIDQ6649511
Christoph Welzel, Mikhail Raskin, Javier Esparza
Publication date: 6 December 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The periodic domino problem revisited
- Verification of population protocols
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Checking deadlock-freedom of parametric component-based systems
- Computing parameterized invariants of parameterized Petri nets
- Checking qualitative liveness properties of replicated systems with stochastic scheduling
- An SMT-Based Approach to Coverability Analysis
- Model Checking Parameterized Systems
- Reasoning about systems with many processes
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- CONCUR 2004 - Concurrency Theory
- Handling Parameterized Systems with Non-atomic Global Conditions
- MCMT: A Model Checker Modulo Theories
- Well-structured transition systems everywhere!
- Abduction of trap invariants in parameterized systems
Related Items (1)
This page was built for publication: Abduction of trap invariants in parameterized systems
