Proving temporal properties of concurrent programs: a non-temporal approach

Authors:
Bowen Lewis Alpern
Affiliations:
-
Venue:
Proving temporal properties of concurrent programs: a non-temporal approach
Year:
1986

Citing 0
Cited 1

Verifying temporal properties without temporal logic

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract