Temporal logic model checking (abstract)

Authors:
Edmund M. Clarke
Affiliations:
-
Venue:
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Year:
1997

Citing 0
Cited 3

A formal approach for the development of reactive systems

Information and Software Technology
Combining formal methods for the development of reactive systems

International Journal of Computer Applications in Technology
Combining Formal Methods for the Development of Reactive Systems

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract