Application of OBDD Diagrams in Verification of Tabular Rule Systems


This paper examines the application of Ordered Binary Decision Diagrams (OBDD) to modelling and verification of quality properties of rule systems. The transformation of an intentional specification of a tabular rule system into OBDD data structures was proposed and techniques of verification of such quality properties as completeness, determinism and… (More)


9 Figures and Tables