Compositional and hierarchical techniques for the formal verification of real-time systems

Authors:
Serdar Tasiran;Robert K. Brayton
Affiliations:
-;-
Venue:
Compositional and hierarchical techniques for the formal verification of real-time systems
Year:
1998

Citing 0
Cited 2

An assume-guarantee rule for checking simulation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantifying similarities between timed systems

FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract