Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
Abstraction model checking
Abstraction Model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Model checking
SLAM project
State space
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Cyber-Physical Systems Engineering: An Introduction
John Paul Gibson
,
P. Larsen
,
M. Pantel
,
J. Fitzgerald
,
J. Woodcock
Leveraging Applications of Formal Methods
2018
Corpus ID: 53108050
Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which…
Expand
2017
2017
An Algorithmic Approach for Stability Verification of Hybrid Systems
Miriam García Soto
2017
Corpus ID: 134396382
Los sistemas ciberfisicos son sistemas tecnologicos interconectados que integran componentes de indole fisica y elementos…
Expand
2015
2015
Limited Mobility, Eventual Stability
L. Zuck
,
Sanjiva Prasad
Haifa Verification Conference
2015
Corpus ID: 43159225
The IPv6 Mobility protocol, an archetypal system for supporting communication amongst mobile devices, presents challenging…
Expand
2014
2014
A Multiple Refinement Approach in Abstraction Model Checking
Phan-Thanh Nguyen
,
T. Bui
International Conference on Computer Information…
2014
Corpus ID: 11809043
Abstraction in model checking is the most effective method to overcome the state explosion problem, the most serious problem in…
Expand
2008
2008
Abstraction, model checking and software correctness
P. Henderson
SGCS
2008
Corpus ID: 2276420
I hope you were able to read the contribution from Maria and Gary Litvin, Pre-college Math Concepts vs Skills - Preparation for…
Expand
2008
2008
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays
J. Carmona
,
J. Cortadella
,
Y. Takada
,
F. Peper
JETC
2008
Corpus ID: 18383175
Nanometer-scale structures suitable for computing have been investigated by several research groups in recent years. A common…
Expand
Review
2008
Review
2008
Introduction to joint ACM JETC/TODAES special issue on new, emerging, and specialized technologies
R. I. Bahar
,
K. Chakrabarty
JETC
2008
Corpus ID: 251765
Aided Design (ICCAD) devoted a special all-day track to papers focusing on new and emerging technologies. To highlight some of…
Expand
2006
2006
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation
Alan J. Hu
IEEE International High Level Design Validation…
2006
Corpus ID: 52870883
Abstraction-guided simulation is a general framework for automatically harnessing, during simulation, information from…
Expand
2003
2003
Abstraction as the Key for Invariant Verification
S. Bensalem
,
S. Graf
,
Y. Lakhnech
Theory and Practice
2003
Corpus ID: 15758079
We present a methodology for constructing abstractions and refining them by analyzing counter-examples. We also present a uniform…
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