Computergestützte Verifikation 30.4.2002 Model Checking für finite state systems explizit: symbolisch: 3.1: Tiefensuche 3.2: LTL-Model Checking 3.3: CTL-Model Checking…