Model Checking Parameterized Systems
From MaRDI portal
Publication:3176379
DOI10.1007/978-3-319-10575-8_21zbMath1392.68223OpenAlexW2803302060MaRDI QIDQ3176379
No author found.
Publication date: 20 July 2018
Published in: Handbook of Model Checking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_21
Related Items (6)
Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Combining Model Checking and Deduction ⋮ Liveness in broadcast networks ⋮ Unnamed Item ⋮ The complexity of verifying population protocols ⋮ Computing parameterized invariants of parameterized Petri nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about networks with many identical finite state processes
- Proving properties of a ring of finite-state machines
- Parameterized verification of linear networks using automata as invariants
- Parallel program schemata
- All for the Price of Few
- Parameterized Verification of Ad Hoc Networks
- Proofs of Networks of Processes
- Reasoning about systems with many processes
- Decidability of Parameterized Verification
- A new solution of Dijkstra's concurrent programming problem
- Regular Model Checking using Widening Techniques
- Tools and Algorithms for the Construction and Analysis of Systems
- CONCUR 2004 - Concurrency Theory
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification
- Formal Methods in Computer-Aided Design
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
- Ordering by Divisibility in Abstract Algebras
- Correct Hardware Design and Verification Methods
- Verification, Model Checking, and Abstract Interpretation
- Model Checking Software
- Computer Aided Verification
- Well-structured transition systems everywhere!
- Symbolic model checking with rich assertional languages
- Automatic verification of parameterized networks of processes
This page was built for publication: Model Checking Parameterized Systems
