Symbolic model checking of process networks using interval diagram techniques
Karsten Strehl, Lothar Thiele · 1998
In this paper.an approach to symbolic model checking of process networks is introduced.It is based on intewal decision dia- grams (IDDs), a representation ofmtdti-valued functions.Compared to other model checking strategies, IDDs show some important properties that enable the verification of process networks more adequately than with conventional approaches.Additionally, applacations conceding scheduling ~villbesho~vn.Anew form of transition relation representation called interval mapping diagrams (IhlDs~and their less general version predicate action diagrams &ADs&is explained together with the corresponding methods.