Model checking

In der Informatik ist ein binäres Entscheidungsdiagramm ( BDD ) oder verzweigtes Programm eine Datenstruktur zur Darstellung einer booleschen Funktion .