The following pages link to (Q5291078):
Displaying 8 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- Actions with Failures in Interval Temporal Logic (Q3602939) (← links)
- Formal Fault Tree Analysis - Practical Experiences (Q5178999) (← links)
- Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
