The following pages link to (Q5679697):
Displaying 16 items.
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- On the detection of unstructuredness in flowgraphs (Q1098619) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Formalization of properties of nondeterministic recursive definitions (Q1148668) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) (← links)
- Analysis of structured programs (Q1212350) (← links)
- Proving assertions about parallel programs (Q1215264) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Functional behavior in data spaces (Q1244988) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
- (Q4139645) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)