Verification of reactive systems using temporal logic with clocks

By Liu C.   Orgun M.A.  

Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. : 377-408

Elsevier

Access to resources Recommend Favorite

Model-based construction and verification of critical systems using composition and partial refinement

By Jeffords Ralph  

Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. : 265-294

Springer Publishing Company

Access to resources Recommend Favorite

Executable Temporal Logic Systems

By  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 721-735

Academic Press

Access to resources Recommend Favorite

Refinement preserving approximations for the design and verification of heterogeneous systems

By Passerone Roberto   Burch Jerry   Sangiovanni-Vincentelli Alberto  

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 1-33

Springer Publishing Company

Access to resources Recommend Favorite

Exploiting transition locality in automatic verification of finite-state concurrent systems

By Della Penna Giuseppe   Intrigila Benedetto   Melatti Igor   Tronci Enrico   Venturini Zilli Marisa  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 320-341

Springer Publishing Company

Access to resources Recommend Favorite