Model checking parameterized systems
From MaRDI portal
Recommendations
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Decidability of parameterized verification
- scientific article; zbMATH DE number 1953016
- An approach to the verification of symmetric parameterized distributed systems
- Tools and Algorithms for the Construction and Analysis of Systems
Cites work
- scientific article; zbMATH DE number 1614699 (Why is no real title available?)
- scientific article; zbMATH DE number 1670768 (Why is no real title available?)
- scientific article; zbMATH DE number 1701752 (Why is no real title available?)
- scientific article; zbMATH DE number 1953016 (Why is no real title available?)
- scientific article; zbMATH DE number 1956578 (Why is no real title available?)
- scientific article; zbMATH DE number 1927558 (Why is no real title available?)
- scientific article; zbMATH DE number 1487866 (Why is no real title available?)
- scientific article; zbMATH DE number 1796121 (Why is no real title available?)
- scientific article; zbMATH DE number 1796136 (Why is no real title available?)
- scientific article; zbMATH DE number 1796142 (Why is no real title available?)
- scientific article; zbMATH DE number 2086524 (Why is no real title available?)
- scientific article; zbMATH DE number 1852158 (Why is no real title available?)
- scientific article; zbMATH DE number 1903379 (Why is no real title available?)
- scientific article; zbMATH DE number 2102703 (Why is no real title available?)
- A new solution of Dijkstra's concurrent programming problem
- Abstract regular tree model checking
- All for the price of few (parameterized verification through view abstraction)
- Automatic verification of parameterized networks of processes
- CONCUR 2004 - Concurrency Theory
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification
- Decidability of parameterized verification
- Exact and efficient verification of parameterized cache coherence protocols
- Formal Methods in Computer-Aided Design
- Iterating transducers in the large (extended abstract)
- Model Checking Software
- Ordering by Divisibility in Abstract Algebras
- Parallel program schemata
- Parameterized verification of ad hoc networks
- Parameterized verification of linear networks using automata as invariants
- Proofs of Networks of Processes
- Proving properties of a ring of finite-state machines
- Reasoning about networks with many identical finite state processes
- Reasoning about systems with many processes
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
- Regular model checking using widening techniques
- Symbolic model checking with rich assertional languages
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
- Well-structured transition systems everywhere!
Cited in
(26)- scientific article; zbMATH DE number 2080053 (Why is no real title available?)
- A type reduction theory for systems with replicated components
- Decidability of parameterized verification
- Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
- Model-checking parametric lock-sharing systems against regular constraints
- scientific article; zbMATH DE number 1796142 (Why is no real title available?)
- Keeping a crowd safe: on the complexity of parameterized verification (invited talk)
- Formal Modeling and Analysis of Timed Systems
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Computing parameterized invariants of parameterized Petri nets
- Population-induced phase transitions and the verification of chemical reaction networks
- Model checking action system refinements
- Liveness in broadcast networks
- Tools and Algorithms for the Construction and Analysis of Systems
- Computing inductive invariants of regular abstraction frameworks
- Parameterized Model Checking of Token-Passing Systems
- Parameterized verification under TSO with data types
- scientific article; zbMATH DE number 6720711 (Why is no real title available?)
- Model Checking Kernel P Systems
- Abduction of trap invariants in parameterized systems
- Combining Model Checking and Deduction
- Parameterized verification and model checking for distributed broadcast protocols
- The complexity of verifying population protocols
- scientific article; zbMATH DE number 1953016 (Why is no real title available?)
- An approach to the verification of symmetric parameterized distributed systems
- Computing Parameterized Invariants of Parameterized Petri Nets
This page was built for publication: Model checking parameterized systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176379)
