Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,275,343 papers from all fields of science
Search
Sign In
Create Free Account
Model checking
Known as:
Symbolic Model Verification
, Modelchecking
, Model checking (disambiguation)
Expand
In computer science, model checking or property checking refers to the following problem:Given a model of a system, exhaustively and automatically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Abstract interpretation
Abstraction (software engineering)
Abstraction model checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Symbolic Model Checking
Adnan Aziz
,
A. Prakash
Encyclopedia of Algorithms
2016
Corpus ID: 5313786
1) Give the initial predicate and the transition predicate for the following Verilog module:
Highly Cited
2009
Highly Cited
2009
Model checking
E. Clarke
,
E. A. Emerson
,
Joseph Sifakis
Communications of the ACM
2009
Corpus ID: 5857292
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…
Expand
Highly Cited
2008
Highly Cited
2008
Principles of model checking
C. Baier
,
J. Katoen
2008
Corpus ID: 5302889
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms…
Expand
Review
2007
Review
2007
Stochastic Model Checking
M. Kwiatkowska
,
G. Norman
,
D. Parker
International School on Formal Methods for the…
2007
Corpus ID: 14495201
This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model…
Expand
Highly Cited
2000
Highly Cited
2000
Model checking programs
W. Visser
,
K. Havelund
,
G. Brat
,
Seungjoon Park
,
Flavio Lerda
Proceedings ASE . Fifteenth IEEE International…
2000
Corpus ID: 2350244
The majority of the work carried out in the formal methods community throughout the last three decades has (for good reasons…
Expand
Highly Cited
1999
Highly Cited
1999
Symbolic Model Checking without BDDs
Armin Biere
,
A. Cimatti
,
E. Clarke
,
Yunshan Zhu
International Conference on Tools and Algorithms…
1999
Corpus ID: 524729
Symbolic Model Checking [3, 14] has proven to be a powerful technique for the verification of reactive systems. BDDs [2] have…
Expand
Highly Cited
1993
Highly Cited
1993
Symmetry and model checking
E. Allen
,
Emerson A Prasad Sistla
,
H. Weyl
,
In Symmetry
Formal Methods Syst. Des.
1993
Corpus ID: 1303621
We show how to exploit symmetry in model checking for concurrent systems containing many identical or isomorphic components. We…
Expand
Highly Cited
1993
Highly Cited
1993
Model-Checking in Dense Real-time
R. Alur
,
C. Courcoubetis
,
D. Dill
Information and Computation
1993
Corpus ID: 43061365
Model-checking is a method of verifying concurrent systems in which a state-transition graph model of the system behavior is…
Expand
Highly Cited
1992
Highly Cited
1992
Model checking and abstraction
E. Clarke
,
O. Grumberg
,
D. E. Long
ACM-SIGACT Symposium on Principles of Programming…
1992
Corpus ID: 4553749
We describe a method for using abstraction to reduce the complexity of temporal logic model checking. The basis of this method is…
Expand
Highly Cited
1989
Highly Cited
1989
Symbolic model checking: 1020 states and beyond
J. Burch
,
E. Clarke
,
D. Dill
,
Jenq-Neng Hwang
Logic in Computer Science
1989
Corpus ID: 124743249
Many diierent methods have been devised for automatically verifying nite state systems by examining state-graph models of system…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE