NuMDG: a new tool for multiway decision graphs construction

DOI10.1007/S11390-011-9421-XMaRDI QIDQ2434522zbMATH OpenOpenAlexFDO

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

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

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)

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

Cites work

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

Cited in

(5)

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

Describes a project that uses

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)