NuMDG: a new tool for multiway decision graphs construction

DOI10.1007/S11390-011-9421-XzbMATH Open1280.68121OpenAlexW3150464090MaRDI QIDQ2434522FDOQ2434522

Otmane Ait Mohamed, Yassine Mokhtari, Sofiène Tahar, Sa'ed Abed

Publication date: 6 February 2014

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://spectrum.library.concordia.ca/977361/1/JCST-2011.pdf

Recommendations

• A New Approach for the Construction of Multiway Decision Graphs
• LCF-style Platform based on Multiway Decision Graphs
• Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
• On the non-termination of MDG-based abstract state enumeration
• scientific article; zbMATH DE number 1423226

zbMATH Keywords

multiway decision graphsuninterpreted functionsinfinite state model checking

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Title not available (Why is that?)
• On the non-termination of MDG-based abstract state enumeration
• Title not available (Why is that?)
• Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
• Solvable cases of the decision problem
• Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Recurrence domains: Their unification and application to logic programming
• Title not available (Why is that?)
• BDD based procedures for a theory of equality with uninterpreted functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A New Approach for the Construction of Multiway Decision Graphs

Cited In (5)

• LCF-style Platform based on Multiway Decision Graphs
• NuMDG
• A New Approach for the Construction of Multiway Decision Graphs
• Some indices of alphabet overlap graph
• On the non-termination of MDG-based abstract state enumeration

Uses Software

• NuSMV
• Velev SAT Benchmarks

This page was built for publication: NuMDG: a new tool for multiway decision graphs construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2434522)