Pages that link to "Item:Q2915172"
From MaRDI portal
The following pages link to Formal Verification of Distributed Algorithms (Q2915172):
Displaying 21 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Machine checked proofs of the design of a fault-tolerant circuit (Q1203129) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- A mechanical proof of Segall's PIF algorithm (Q1362774) (← links)
- Formal verification of a leader election protocol in process algebra (Q1391796) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Verifying programs that use causally-ordered message-passing (Q1893537) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- Certification of an exact worst-case self-stabilization time (Q2680867) (← links)
- Structuring and verifying distributed algorithms (Q2748153) (← links)
- A Framework for Certified Self-Stabilization (Q2827460) (← links)
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms (Q2828285) (← links)
- Mechanical Verification of a Constructive Proof for FLP (Q2829253) (← links)
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms (Q2829257) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Formal Approaches to Software Testing (Q5710639) (← links)
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Q5881540) (← links)
- Store locally, prove globally (Q6605367) (← links)
