From NuSMV to SPIN: Experiences with model checking flight guidance systems

Author： Choi Yunja  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.30, Iss.3, 2007-06, pp. : 199-216

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

Model Checking the Garbage Collection Mechanism of SMV

By Eisner C.  

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

Elsevier

Access to resources Recommend Favorite

The FSAP/NuSMV-SA Safety Analysis Platform

By Bozzano Marco   Villafiorita Adolfo  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

αSPIN: A tool for abstract model checking

By del Mar Gallardo María   Martínez Jesús   Merino Pedro   Pimentel Ernesto  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 165-184

Springer Publishing Company

Access to resources Recommend Favorite

Bounded model checking of infinite state systems

By Schuele Tobias   Schneider Klaus  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite

Scientific Theories of Computational Systems in Model Checking

By Angius Nicola  

Minds and Machines, Vol. 21, Iss. 2, 2011-05 ,pp. : 323-336

Springer Publishing Company

Access to resources Recommend Favorite