Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,080,852 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.
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
2011
2011
Simulated Annealing Considered Harmful
K. M. Prasad
,
M. A. Kumar
2011
Corpus ID: 14032101
The machine learning method to the Turing machine is defined not only by the investigation of wide-area networks, but also by the…
Expand
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
2004
2004
Executable Specifications of P Systems
Oana Andrei
,
Gabriel Ciobanu
,
D. Lucanu
Workshop on Membrane Computing
2004
Corpus ID: 25467841
This paper presents a natural algebraic specification for the P systems. The specification is executable in Maude, a software…
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
2003
2003
Model checking hybrid logics
Massimo Franceschet
,
M. de Rijke
2003
Corpus ID: 11814865
We investigate the complexity of the model checking problem for hybrid logics. We provide model checker algorithms for various…
Expand
2001
2001
An anonymous fair exchange e-commerce protocol
I. Ray
Proceedings, International Parallel and…
2001
Corpus ID: 2759439
In this paper we propose an e-commerce protocol for trading digital products over the Internet. The novel features of our…
Expand
1999
1999
Compilation Techniques for Explicitly Parallel Programs
Jaejin Lee
1999
Corpus ID: 60599737
A problem faced by compilers of explicitly parallel languages, such as Java, OpenMP, and Pthreads, the solution of which is the…
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