Related content

KRONOS: a verification tool for real-time systems

By Yovine Sergio  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 123-133

Springer Publishing Company

Access to resources Recommend Favorite

Scenario-based verification of real-time systems using Uppaal

By Li Shuhao  

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

Springer Publishing Company

Access to resources Recommend Favorite

Deductive verification of real-time systems using STeP

By Bjorner N.S.   Manna Z.   Sipma H.B.   Uribe T.E.  

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 27-60

Elsevier

Access to resources Recommend Favorite

A survey of formal verification methods and tools for embedded and real-time systems

By Cheng Albert Mo Kim  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 184-195

Inderscience Publishers

Access to resources Recommend Favorite

Continuous modeling of real-time and hybrid systems: from concepts to tools

By Larsen Kim G.   Steffen B.   Weise C.  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 64-85

Springer Publishing Company

Access to resources Recommend Favorite