Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,329,335 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
2012
Highly Cited
2012
Modeling, verification and pattern generation for reconfigurable scan networks
R. Baranowski
,
M. Kochte
,
H. Wunderlich
IEEE International Test Conference
2012
Corpus ID: 12527045
Reconfigurable scan architectures allow flexible integration and efficient access to infrastructure in SoCs, e.g. for test…
Expand
2012
2012
Trend or no trend : a novel nonparametric method for classifying time series
Stanislav Nikolov
2012
Corpus ID: 53900587
In supervised classification, one attempts to learn a model of how objects map to labels by selecting the best model from some…
Expand
2010
2010
The SpinJa Model Checker
M. D. Jonge
,
T. Ruys
SPIN
2010
Corpus ID: 6426027
SPINJA is a model checker for PROMELA, implemented in Java. SPINJA is designed to behave similarly to SPIN, but to be more easily…
Expand
2007
2007
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
J. Vain
2007
Corpus ID: 126176276
Highly Cited
2005
Highly Cited
2005
Evaluation of a Food Frequency Questionnaire-Food Composition Approach for Estimating Dietary Intake of Inorganic Arsenic and Methylmercury 1
Palge
,
L.
,
+11 authors
B.
2005
Corpus ID: 5190029
Inorganic arsenic intake in 969 men and women and methylmercury intake in 785 men and women from across the United States were…
Expand
2005
2005
Replay attack in TCG specification and solution
D. Bruschi
,
L. Cavallaro
,
A. Lanzi
,
Mattia Monga
Asia-Pacific Computer Systems Architecture…
2005
Corpus ID: 15624697
We prove the existence of a flaw which we individuated in the design of the object-independent authorization protocol (OIAP…
Expand
Highly Cited
2005
Highly Cited
2005
Developing and assuring trustworthy Web services
W. Tsai
,
Xiao Wei
,
Yinong Chen
,
B. Xiao
,
R. Paul
,
H. Huang
Proceedings Autonomous Decentralized Systems…
2005
Corpus ID: 9288124
Web services are emerging technologies that are changing the way we develop and use computer systems and software. Current Web…
Expand
2003
2003
On the Logic of TLA+
Stephan Merz
Computers and artificial intelligence
2003
Corpus ID: 5854597
TLA + is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems…
Expand
2003
2003
UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE
A. Pataricza
,
I. Majzik
,
G. Huszerl
,
György Várnai
2003
Corpus ID: 19022387
A new equipment of safety relevance has been developed to upgrade ageing relay-based railway interlocking systems in Hungary. In…
Expand
1996
1996
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
Giuseppe De Giacomo
,
F. Massacci
CADE
1996
Corpus ID: 11315551
This paper presents a prefixed tableaux calculus for Propositional Dynamic Logic with Converse based on a combination of…
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