Pages that link to "Item:Q2709807"
From MaRDI portal
The following pages link to Verification of parameterized protocols (Q2709807):
Displaying 14 items.
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Towards efficient verification of population protocols (Q2058386) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Parameterised verification of publish/subscribe networks with exception handling (Q2330595) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- Type-Based Verification of Correspondence Assertions for Communication Protocols (Q3498440) (← links)
- An algorithmic technique for protocol verification (Q3805886) (← links)
- A proof of protocol correctness (Q4365008) (← links)
- (Q4417864) (← links)
- (Q4790655) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- Formal verification of activity-based specification of protocols (Q5938660) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)