Deductive verification of real-time systems using STeP

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

Publisher： Elsevier

ISSN： 0304-3975

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

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

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

By  

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 12, Iss. 4, 2017-10 ,pp. : 22-41

IGI Global_journal

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

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