The following pages link to (Q4031327):
Displaying 6 items.
- On the strength of temporal proofs (Q809066) (← links)
- Code analysis for temporal predictability (Q853616) (← links)
- Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs? (Q1825630) (← links)
- (Q4411976) (← links)
- Proving correctness of compiler optimizations by temporal logic (Q5178913) (← links)
- Application of temporal logic to program specification (Q5930938) (← links)