The following pages link to (Q4003356):
Displaying 18 items.
- Comments on ``On the proof of a distributed algorithm'': Always-true is not invariant (Q918207) (← links)
- Lawful functions and program verification in miranda (Q918222) (← links)
- Inference rules for proving the equivalence of recursive procedures (Q938300) (← links)
- Theory of program structures: schemes, semantics, verification. 2nd printing (Q1066660) (← links)
- Verification of programs that destructively manipulated data (Q1104731) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- A unified approach of program verification (Q2013885) (← links)
- Program verification: to err is human (Q2026776) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Concurrency verification. Introduction to compositional and noncompositional methods (Q2768503) (← links)
- Inference Rules for Proving the Equivalence of Recursive Procedures (Q3587255) (← links)
- The foundations of program verification. In collab. with Ryan D. Stansifer. 2nd ed. (Q3995530) (← links)
- A proof system for asynchronously communicating deterministic processes (Q5096883) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)
- Inference rules for programming languages with side effects in expressions (Q6567703) (← links)
