Decision diagrams, such as binary decision diagrams, multi-terminal binary decision
diagrams and multi-valued decision diagrams, play an important role in various fields. They …

Decision diagrams such as binary decision diagrams and multi-valued decision diagrams
play an important role in various fields, including symbolic model checking. An ongoing …

Many techniques for the verification of reactive systems rely on the analysis of their
reachable state spaces. In this paper, a new algorithm for the symbolic generation of the …

This paper presents scalable parallel BDD operations for modern multi-core hardware. We
aim at increasing the performance of reachability analysis in the context of model checking …

Symbolic data structures using Binary Decision Diagrams (BDDs) have been successfully
used in the last decades to analyse large systems. While various BDD and MTBDD …

This thesis shows that whole-program context-sensitive inclusion-based pointer analysis, a
previously intractable problem, can be efficiently solved using binary decision diagrams. In …

This paper presents a novel BDD-based distributed algorithm for reachability analysis which
is completely asynchronous. Previous BDD-based distributed schemes are synchronous …

Decision diagrams are used in symbolic verification to concisely represent state spaces. A
crucial symbolic verification algorithm is reachability: systematically exploring all reachable …

Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also
widely known for consuming large amounts of memory. For larger problems, a BDD …

Одной из основных особенностей многих современных информационных систем
является то, что они не предназначены для самостоятельного принятия решений …