The temporal logic of programs
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in...
Publications
4 shownExplicit clock temporal logic
The authors present a single exponent decision procedure for the validity of XCTL formulas, and a double exponent decision procedure for the validity of XCTL formulas over finit...
Frequent Co-Authors
Researcher Info
- h-index
- 4
- Publications
- 4
- Citations
- 6,638
- Institution
- Tel Aviv University
External Links
Impact Metrics
h-index
4
h-index: Number of publications with at least h citations each.