NuMDG: a new tool for multiway decision graphs construction
From MaRDI portal
Publication:2434522
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)
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)