WIRTSCHAFTSINFORMATIK Westfälische Wilhelms-Universität Münster WIRTSCHAFTS INFORMATIK Symbolisches Model Checking mit Binary Decision Diagrams Im Rahmen.