Skip to main content
HOME
www.lmu.de
Fakultät 11
UnterrichtsMitschau
Lehrfilme
UnterrichtOnline.org
Aktuelle Vorlesungen
Alle Vorlesungen
Vorlesungen nach Fakultäten
Fakultätsübergreifende Vorlesungen
Katholisch-Theologische Fakultät (Fakultät 1)
Evangelisch-Theologische Fakultät (Fakultät 2)
Juristische Fakultät (Fakultät 3)
Fakultät für Betriebswirtschaft (Fakultät 4)
Volkswirtschaftliche Fakultät (Fakultät 5)
Medizinische Fakultät (Fakultät 7)
Tierärztliche Fakultät (Fakultät 8)
Fakultät für Geschichts- und Kunstwissenschaften (Fakultät 9)
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft (Fakultät 10)
Fakultät für Psychologie und Pädagogik (Fakultät 11)
Fakultät für Kulturwissenschaften (Fakultät 12)
Fakultät für Sprach- und Literaturwissenschaften (Fakultät 13)
Sozialwissenschaftliche Fakultät (Fakultät 15)
Fakultät für Mathematik, Informatik und Statistik (Fakultät 16)
Fakultät für Physik (Fakultät 17)
Fakultät für Chemie und Pharmazie (Fakultät 18)
Fakultät für Biologie (Fakultät 19)
Fakultät für Geowissenschaften (Fakultät 20)
Seniorenstudium
Tutorials
FAQs
Formale Spezifikation und Verifikation
Hinweis:
Die Vorlesung wird auf Englisch gehalten.
Model Checking CTL
(00:00:00)
>
Computation Tree Logic
(00:08:41)
>
Model Checking CTL
Datum:
11.07.2012
Dozent(in):
Mirco Tribastone
Computation Tree Logic
Datum:
04.07.2012
Dozent(in):
Mirco Tribastone
Downloads:
lecture-08.pdf
(pdf) 0.1 MB
Fixed point theory
Datum:
27.06.2012
Dozent(in):
Mirco Tribastone
Hennessy-Milner Logic (HML)
Datum:
13.06.2012
Dozent(in):
Mirco Tribastone
Bisimulation (proceeding) & Verification Exercise with CCS
Datum:
06.06.2012
Dozent(in):
Mirco Tribastone
Bisimulation
(00:00:00)
>
CCS
(00:23:29)
>
Bisimulation
Datum:
23.05.2012
Dozent(in):
Mirco Tribastone
CCS
(00:00:00)
>
Process Algebras
(01:05:50)
>
CCS
Datum:
16.05.2012
Dozent(in):
Mirco Tribastone
Process algebra
(00:00:00)
>
Structured Operational Semantics
(00:30:05)
>
Process Algebras
Datum:
09.05.2012
Dozent(in):
Mirco Tribastone
Downloads:
syntax.pdf
(pdf) 0.2 MB
Preliminaries (Labelled Transitions Systems, Structured Operational Semantics)
(00:00:00)
>
Labelled Transitions Systems
(00:51:20)
>
Structured Operational Semantics
Datum:
02.05.2012
Dozent(in):
Mirco Tribastone
Downloads:
01-preliminaries.pdf
(pdf) 0.1 MB
Course Overview
(00:00:00)
>
Modelling and Verification
(00:32:41)
>
Course Overview
(00:36:34)
>
One-slide overviews
(00:47:06)
>
Course Organisation
Datum:
18.04.2012
Dozent(in):
Mirco Tribastone
Downloads:
00-mv.pdf
(pdf) 0.7 MB
Website:
http://www.pst.ifi.lmu.de/Lehre/sose-2012/formale-spezifikation-und-verifikation
RSS-Feed abonnieren:
