Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
1) Give the initial predicate and the transition predicate for the following Verilog module: 
Highly Cited
2009
Highly Cited
2009
Turing Lecture from the winners of the 2007 ACM A.M. Turing Award. In 1981, Edmund M. Clarke and E. Allen Emerson, working in the… 
Highly Cited
2008
Highly Cited
2008
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms… 
Review
2007
Review
2007
This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model… 
Highly Cited
2000
Highly Cited
2000
The majority of the work carried out in the formal methods community throughout the last three decades has (for good reasons… 
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… 
Highly Cited
1993
Highly Cited
1993
We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We… 
Highly Cited
1993
Highly Cited
1993
Model-checking is a method of verifying concurrent systems in which a state-transition graph model of the system behavior is… 
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… 
Highly Cited
1989
Highly Cited
1989
Many diierent methods have been devised for automatically verifying nite state systems by examining state-graph models of system…