![]() |
![]() |
|
|||
![]() |
![]() |
Homepage
|
|||
english only
|
|||||
Laurent Doyen
Tom Henzinger
Barbara Jobstmann
Laura Kovács
Maria Mateescu
Tatjana Petrov
Vasu Singh
Gregory Theoduloz
Thomas Wies
Verena Wolf
Theoretical Computer Science (Summer Semester 2009)
Advanced Theoretical Computer Science (Summer Semester 2009)
Master's thesis projects and semester projects
Past courses
TRESOR seminars
Informal meetings
Systems Biology Journal Club
WING 2009 - 2nd International Workshop on Invariant Generation
Past events
HyTech: Automatic tool for the analysis of embedded systems
Mocha: Exploiting Modularity in Model Checking
Giotto: Methodology for Embedded Control Systems Development
Blast: Berkeley Lazy Abstraction Software Verification Tool
Aligator: Invariant Generation by Algebraic Techniques
The MTC lab is part of
TRESOR
(Thrust in Reliable Software Research)
and
ARTIST
(Network of Excellence on Advanced Real-Time Systems).
The lab is also funded by the
Swiss National Science Foundation.