A New Approach for the Construction of Multiway Decision Graphs
From MaRDI portal
Publication:5505605
DOI10.1007/978-3-540-85762-4_16zbMath1161.68577OpenAlexW1759641679MaRDI QIDQ5505605
Sofiène Tahar, Otmane Ait Mohamed, Yassine Mokhtari, Xiaoyu Song, Sa'ed Abed
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_16
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
NuMDG: a new tool for multiway decision graphs construction ⋮ A New Approach for the Construction of Multiway Decision Graphs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the non-termination of MDG-based abstract state enumeration
- Solvable cases of the decision problem
- Graph-Based Algorithms for Boolean Function Manipulation
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
- A New Approach for the Construction of Multiway Decision Graphs
- Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
This page was built for publication: A New Approach for the Construction of Multiway Decision Graphs
