MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Open-Source Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Open source model checking
by R. Grosu, X. Huang, S. Jain, S. A. Smolka — 2005 — In Proceedings of the Workshop on Software Model Checking
…Open-Source Model Checking ⋆ R. Grosu 1 ,X.Huang 1 ,S.Jain 2 , and S.A. Smolka 1 1 Dept…
Cited by 5 (3 self) – Add To MetaCart

Model-based analysis of an arc protection and an emergency cooling system
by Janne Valkonen, Ville Pettersson, Kim Björkman, Jan-erik Holmberg, Matti Koskimies, Keijo Heljanko, Ilkka Niemelä — 2008 — VTT Working Papers 93, VTT Tech-nical Research Centre of
… in implementing model checking tools. Moreover, NuSMV is distributed under an OpenSource licence and, hence…
Cited by 1 (0 self) – Add To MetaCart

A. Cimatti, M. Pistore, and M. Roveri
by International Conference On, A. Cimatti, M. Pistore, M. Roveri — 2003
… with the following goals: Introduction of SAT-based model checking OpenSource licensing Larger team (Univ. of Trento…
Add To MetaCart

unknown title
by unknown authors
… checking is supported by the GNU open source model checking environment Gmc. Architectural and behavioral…
Add To MetaCart

C4.2 Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
by Janne Valkonen, Matti Koskimies, Ville Pettersson, Keijo Heljanko, Jan-erik Holmberg, Ilkka Niemelä, Jari J. Hämäläinen
…-of-the-art open-source model checking system, NuSMV, and with reasonable effort we were able to (i) model both…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB