Related content

Pushdown timed automata: a binary reachability characterization and safety verification

By Dang Z.  

Theoretical Computer Science, Vol. 302, Iss. 1, 2003-06 ,pp. : 93-121

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

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

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