ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Integrating SAT with Multiway Decision Graphs for efficient model checking
2007 Internatonal Conference on Microelectronics
◽
10.1109/icm.2007.4497677
◽
2007
◽
Cited By ~ 8
Author(s):
Sa'ed Abed
◽
Otmane Ait Mohamed
◽
Zijiang Yang
◽
Ghiath Al Sammane
Keyword(s):
Model Checking
◽
Multiway Decision Graphs
Download Full-text
Related Documents
Cited By
References
Model checking for a first-order temporal logic using multiway decision graphs
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/bfb0028747
◽
1998
◽
pp. 219-231
◽
Cited By ~ 12
Author(s):
Y. Xu
◽
E. Cerny
◽
X. Song
◽
F. Corella
◽
O. Aït Mohamed
Keyword(s):
Model Checking
◽
Temporal Logic
◽
First Order
◽
Multiway Decision Graphs
Download Full-text
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
The Computer Journal
◽
10.1093/comjnl/47.1.71
◽
2004
◽
Vol 47
(1)
◽
pp. 71-84
◽
Cited By ~ 11
Author(s):
Y. Xu
Keyword(s):
Model Checking
◽
Temporal Logic
◽
First Order
◽
Multiway Decision Graphs
Download Full-text
High Level Reduction Technique for Multiway Decision Graphs Based Model Checking
10.14236/ewic/vecos2007.9
◽
2007
◽
Cited By ~ 1
Author(s):
Ghiath Al Sammane
◽
Sa’ed Abed
◽
Otmane Ait Mohamed
Keyword(s):
Model Checking
◽
Reduction Technique
◽
Multiway Decision Graphs
◽
High Level
◽
Level Reduction
Download Full-text
Model-Checking of Infinite Graphs Defined by Graph Grammars
Electronic Notes in Theoretical Computer Science
◽
10.1016/s1571-0661(05)01231-4
◽
2000
◽
Vol 5
◽
pp. 1
◽
Cited By ~ 2
Author(s):
O BURKART
◽
Y QUEMENER
Keyword(s):
Model Checking
◽
Infinite Graphs
◽
Graph Grammars
Download Full-text
Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking
PsycEXTRA Dataset
◽
10.1037/e578742012-006
◽
2010
◽
Author(s):
Matthew L. Bolton
◽
Ellen J. Bass
Keyword(s):
Model Checking
◽
Human Behavior
◽
System Failures
◽
Analytic Models
Download Full-text
Statistical Model Checking of Approximate Circuits: Challenges and Opportunities
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
◽
10.23919/date48585.2020.9116207
◽
2020
◽
Author(s):
Josef Strnadel
Keyword(s):
Model Checking
◽
Statistical Model
◽
Statistical Model Checking
◽
Challenges And Opportunities
Download Full-text
Towards the improvement of model checking
Advanced Computer Control
◽
10.2495/icacc130031
◽
2014
◽
Author(s):
Peiyu Huang
Keyword(s):
Model Checking
Download Full-text
Model Checking Control Software for Nonlinear Dynamic Systems
AIAA Guidance, Navigation and Control Conference and Exhibit
◽
10.2514/6.2008-6800
◽
2008
◽
Author(s):
James Kapinski
◽
Alexandre Donze
◽
Flavio Lerda
◽
Hitashyam Maka
◽
Edmund Clarke
◽
...
Keyword(s):
Model Checking
◽
Dynamic Systems
◽
Nonlinear Dynamic
◽
Nonlinear Dynamic Systems
◽
Control Software
Download Full-text
REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM
i-manager’s Journal on Software Engineering
◽
10.26634/jse.13.3.15687
◽
2019
◽
Vol 13
(3)
◽
pp. 1
Author(s):
ALIYU E. O.
◽
ADEWALE O. S.
◽
ADETUNMBI A. O.
◽
OJOKOH B. A.
◽
◽
...
Keyword(s):
Model Checking
Download Full-text
Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study
10.31274/etd-180810-2879
◽
2009
◽
Author(s):
Sandeep Krishnan
Keyword(s):
Model Checking
◽
Software Product Line
◽
Product Line
◽
Line Model
◽
Software Product
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close