Verification of parameterized protocols
From MaRDI portal
Recommendations
Cited in
(22)- scientific article; zbMATH DE number 1670786 (Why is no real title available?)
- Parameterised verification of publish/subscribe networks with exception handling
- scientific article; zbMATH DE number 1956518 (Why is no real title available?)
- Inferring Network Invariants Automatically
- scientific article; zbMATH DE number 1863380 (Why is no real title available?)
- Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol
- scientific article; zbMATH DE number 1696515 (Why is no real title available?)
- An algorithmic technique for protocol verification
- Transformational Verification of Parameterized Protocols Using Array Formulas
- Model checking and abstraction to the aid of parameterized systems (a survey)
- An invariant-based approach to the verification of asynchronous parameterized networks
- Parameterized verification of leader/follower systems via first-order temporal logic
- Parametric verification of a group membership algorithm
- Formal verification of activity-based specification of protocols
- A proof of protocol correctness
- Type-Based Verification of Correspondence Assertions for Communication Protocols
- Verification of programs with half-duplex communication
- scientific article; zbMATH DE number 1538040 (Why is no real title available?)
- Networks of processes with parameterized state space
- scientific article; zbMATH DE number 1956507 (Why is no real title available?)
- Automatic verification of parameterized networks of processes
- scientific article; zbMATH DE number 1953016 (Why is no real title available?)
This page was built for publication: Verification of parameterized protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709807)
