Product Interval Automata: A Subclass of Timed Automata

  title={Product Interval Automata: A Subclass of Timed Automata},
  author={Deepak D'Souza and P. S. Thiagarajan},
Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see[CK96] for a survey). In model checking, a high level description of a system is compared against a logical correctness requirement to discover inconsistencies. Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of real-time systems whose correctness depends on relative… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 90 references

A Theory of Timed Automata

Theor. Comput. Sci. • 1994
View 5 Excerpts
Highly Influenced

Computer-aided Verification of Embedded Systems

IFIP Congress: Fundamentals - Foundations of Computer Science • 1998

Distributed Interval Automata, Internal Report TCS-98-3

D. D’Souza, P. S. Thiagarajan
Chennai Mathematical Institute • 1998
View 3 Excerpts

Henzinger : It ’ s About Time : Real - Time Logics Reviewed

A. T.
Proc . CONCUR ’ 98 , LNCS • 1998

Membership problems for timed and hybrid automata

O. Maler, P. Caspi

Modeling urgency in timed systems

O. Maler M. Bozga, A. Pnueli, S. Yovine
Compositionality – the significant difference , LNCS • 1998

Similar Papers

Loading similar papers…