Interval diagrams for efficient symbolic verification of process networks

摘要: In this paper, a representation of multivalued functions called interval decision diagrams (IDDs) is introduced. It related to similar representations such as binary diagrams. Compared other functional with regard symbolic formal verification approaches, IDDs show some important properties that enable us verify process networks and models computation more adequately than conventional approaches. Therefore, new form transition relation mapping diagram (IMD) A novel approach model checking presented. Several drawbacks traditional strategies are avoided using IMDs. The resulting IMD very compact, enabling fast image computations. Furthermore, no artificial limitations concerning buffer capacities or equivalent have be Additionally, applications scheduling feasible. IMDs defined, their described, methods techniques given.