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

ISSN： 1741-1068

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

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

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

By Loghi Mirko Margaria Tiziana Pravadelli Graziano Steffen Bernhard

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 585-611

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

Functional programming of real-time reconfigurable embedded systems

By Strelzoff Alan G.

International Journal of Embedded Systems, Vol. 2, Iss. 1-2, 2006-07 ,pp. : 106-113

Inderscience Publishers

Access to resources Recommend Favorite

Real-Time Reconfigurations of Embedded Control Systems

International Journal of System Dynamics Applications (IJSDA), Vol. 5, Iss. 3, 2016-07 ,pp. : 71-93

IGI Global_journal

Access to resources Recommend Favorite

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite