Computergestütze Verifikation

Dozent: Prof. Dr. rer.nat.habil. Karsten Wolf

					Az.
Systeme					13
LTL Model Checking					11
CTL Model Checking					12
Fairness					3
Zustandsraumreduktion: Partial Order Reduction					7
Zustandsraumreduktion: Symmetrien					12
Zustandsraumreduktion: Sweep-Line					4
Symbolisches Model Checking - BDDs					12
Symbolisches Model Checking - SAT					10
Abstraktion					7
Real Time Systeme					10

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.