Related content

Oris: a tool for modeling, verification and evaluation of real-time systems

By Bucci Giacomo   Carnevali Laura   Ridi Lorenzo   Vicario Enrico  

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 391-403

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

Privacy in Real-Time Systems

By Lanotte R.   Maggiolo-Schettini A.   Tini S.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-11

Elsevier

Access to resources Recommend Favorite