Interval logics for temporal specification and verification

Authors:
Y. Srinivas Ramakrishna
Affiliations:
Univ. of California, Santa Barbara
Venue:
Interval logics for temporal specification and verification
Year:
1994

Citing 0
Cited 4

A graphical interval logic for specifying concurrent systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating oracles from your favorite temporal logic specifications

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Axiomatizations Of Interval Logics

Fundamenta Informaticae
On The Satisfiability Problem For Lamport'S Propositional Temporal Logic Of Actions And Some Of Its Extensions

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract