Formal verification of the NASA runway safety monitor

Author： Siminiceanu Radu   Ciardo Gianfranco  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.9, Iss.1, 2007-02, pp. : 63-76

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

Related content

Coverage metrics for formal verification

By Chockler Hana   Kupferman Orna   Vardi Moshe  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal Verification for Embedded System Designs

By Chen Xi   Hsieh Harry   Balarin Felice   Watanabe Yosinori  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 139-153

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of dependable distributed protocols

By Sinha P.   Ren D.Q.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 873-888

Elsevier

Access to resources Recommend Favorite

Formal verification of component-based designs

By Karlsson Daniel  

Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. : 49-90

Springer Publishing Company

Access to resources Recommend Favorite