Model checking

Known as: Symbolic Model Verification, Modelchecking, Model checking (disambiguation) 
In computer science, model checking or property checking refers to the following problem:Given a model of a system, exhaustively and automatically… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The solution to get this book is that we don't over you the free book. But, we offer you the free information about principles of… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker originated from the reengineering… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Symbolic Model Checking [3, 14] has proven to be a powerful technique for the verification of reactive systems. BDDs [2] have… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Verification by state-space exploration, also often referred to as "model checking", is an effective method for analyzing the… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We apply the symbolic analysis principle to pushdown systems We represent possibly in nite sets of con gurations of such systems… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The temporal logics pCTL and pCTL* have been proposed as tools for the formal speci cation and veri cation of probabilistic… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We describe a framework for compositional verification of finite-state processes. The framework is based on two ideas: a subset… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Translating linear temporal logic formulas to automata has proven to be an effective approach for implementing linear-time model… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
\Whenever you have to do with a structure-endowed entity try to determine its group of automorphisms" Abstract We show how to… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We describe a method for using abstraction to reduce the complexity of temporal logic model checking. The basis of this method is… (More)
Is this relevant?