Presburger liveness verification of discrete timed automata

By Dang Z.   Pietro P.S.   Kemmerer R.A.  

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 413-438

Elsevier

Access to resources Recommend Favorite

Generalized discrete timed automata: decidable approximations for safety verification

By Dang Z.   Ibarra O.H.   Kemmerer R.A.  

Theoretical Computer Science, Vol. 296, Iss. 1, 2003-03 ,pp. : 59-74

Elsevier

Access to resources Recommend Favorite

Past pushdown timed automata and safety verification

By Dang Z.   Bultan T.   H. Ibarra O.   A. Kemmerer R.  

Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. : 57-71

Elsevier

Access to resources Recommend Favorite

Timed verification of the generic architecture of a memory circuit using parametric timed automata

By Chevallier Remy   Encrenaz-Tiphene Emmanuelle   Fribourg Laurent   Xu Weiwen  

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 59-81

Springer Publishing Company

Access to resources Recommend Favorite

Efficient verification of timed automata with BDD-like data structures

By Wang Farn  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 77-97

Springer Publishing Company

Access to resources Recommend Favorite