Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Foren
Forum


Seminar: Methoden der Verifikation - Sommersemester 07

Material


Themen

Counterexample Generation for Probabilistic Model Checking
Model Checking Continuous Stochastic Logic
Model Checking Continuous-time Markov Chains with Costs
Model Checking for Markov Decision Processes
Model Checking LTL
Model Checking of Probabilistic Systems with 3-valued Logic
Model Checking Probabilistic CTL
Verification of Continuous-time Markov Decision Processes
Verification of Cost-extended Markov Decision Processes
Verification of Discrete-Continuous Markov Chains with Costs


Zusatzmaterial

LNCS-LaTeX-Klasse
Seminarvorstellung