multiway decision graphs Latest Research Papers

2017 ◽

Vol 11 (4) ◽

pp. 395-404

Author(s):

Sa'ed Abed ◽

Imtiaz Ahmad ◽

Mohammad Al Shayeji ◽

Sari Sultan

Keyword(s):

Automatic Verification ◽

Single Electron ◽

Single Electron Transistor ◽

Multiway Decision Graphs

Download Full-text

CONDITIONED SLICING FOR EFFICIENT MULTIWAY DECISION GRAPHS MODEL-CHECKER

Journal of Computer Science ◽

10.3844/jcssp.2013.314.326 ◽

2013 ◽

Vol 9 (3) ◽

pp. 314-326 ◽

Cited By ~ 1

Author(s):

Elmansori

Keyword(s):

Model Checker ◽

Multiway Decision Graphs

Download Full-text

NuMDG: A New Tool for Multiway Decision Graphs Construction

Journal of Computer Science and Technology ◽

10.1007/s11390-011-9421-x ◽

2011 ◽

Vol 26 (1) ◽

pp. 139-152 ◽

Cited By ~ 2

Author(s):

Sa’ed Abed ◽

Yassine Mokhtari ◽

Otmane Ait-Mohamed ◽

Sofiène Tahar

Keyword(s):

Multiway Decision Graphs

Download Full-text

LCF-style Platform based on Multiway Decision Graphs

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.07.012 ◽

2009 ◽

Vol 246 ◽

pp. 3-26

Author(s):

Sa'ed Abed ◽

Otmane Ait Mohamed

Keyword(s):

Multiway Decision Graphs

Download Full-text

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

Journal of Computer Science and Technology ◽

10.1007/s11390-009-9205-8 ◽

2009 ◽

Vol 24 (1) ◽

pp. 76-95 ◽

Cited By ~ 4

Author(s):

Sa’ed Abed ◽

Otmane Ait Mohamed ◽

Ghiath Al-Sammane

Keyword(s):

Multiway Decision Graphs

Download Full-text

The performance of combining multiway decision graphs and HOL theorem prover

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641435 ◽

2008 ◽

Cited By ~ 2

Author(s):

Sa'ed Abed ◽

Otmane Ait Mohamed ◽

Ghiath Al Sammane

Keyword(s):

Theorem Prover ◽

Multiway Decision Graphs ◽

Hol Theorem Prover

Download Full-text

A New Approach for the Construction of Multiway Decision Graphs

Theoretical Aspects of Computing - ICTAC 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85762-4_16 ◽

2008 ◽

pp. 228-242 ◽

Cited By ~ 1

Author(s):

Y. Mokhtari ◽

Sa’ed Abed ◽

O. Ait Mohamed ◽

S. Tahar ◽

X. Song

Keyword(s):

New Approach ◽

Multiway Decision Graphs

Download Full-text

Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover

10.14236/ewic/vecos2008.2 ◽

2008 ◽

Author(s):

Sa’ed Abed ◽

Otmane Ait Mohamed ◽

Ghiath Al Sammane

Keyword(s):

Theorem Prover ◽

Multiway Decision Graphs ◽

Hol Theorem Prover ◽

Reduction Approach

Download Full-text

Reachability analysis using multiway decision graphs in the HOL theorem prover

Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 ◽

10.1145/1363686.1363774 ◽

2008 ◽

Cited By ~ 4

Author(s):

Sa'ed Abed ◽

Otmane Ait Mohamed ◽

Ghiath Al Sammane

Keyword(s):

Reachability Analysis ◽

Theorem Prover ◽

Multiway Decision Graphs ◽

Hol Theorem Prover

Download Full-text

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

multiway decision graphs
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automatic verification of single‐electron transistor arrays based on multiway decision graphs

CONDITIONED SLICING FOR EFFICIENT MULTIWAY DECISION GRAPHS MODEL-CHECKER

NuMDG: A New Tool for Multiway Decision Graphs Construction

LCF-style Platform based on Multiway Decision Graphs

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

The performance of combining multiway decision graphs and HOL theorem prover

A New Approach for the Construction of Multiway Decision Graphs

Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover

Reachability analysis using multiway decision graphs in the HOL theorem prover

Integrating SAT with Multiway Decision Graphs for efficient model checking

Export Citation Format

multiway decision graphsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automatic verification of single‐electron transistor arrays based on multiway decision graphs

CONDITIONED SLICING FOR EFFICIENT MULTIWAY DECISION GRAPHS MODEL-CHECKER

NuMDG: A New Tool for Multiway Decision Graphs Construction

LCF-style Platform based on Multiway Decision Graphs

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

The performance of combining multiway decision graphs and HOL theorem prover

A New Approach for the Construction of Multiway Decision Graphs

Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover

Reachability analysis using multiway decision graphs in the HOL theorem prover

Integrating SAT with Multiway Decision Graphs for efficient model checking

multiway decision graphs
Recently Published Documents