Materialien
Vorlesungsmaterial
Foren
Forum
Seminar: Methoden der Verifikation - Sommersemester 07
Material
ILIAS
| LNCS-LaTeX-Klasse | ||
| Seminarvorstellung | ||
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 | ||