| news items | ||||
|
posted: 2008-10-26 21:56:55
Proceedings: 25 Years of Model Checking The proceedings of the 25MC Symposium will be published as volume 5000 of Springer Lecture Notes in Computer Science and presented to the participants of CAV 2008. |
||||
|
posted: 2008-10-17 12:35:42
Vorbesprechung zum Seminar "Tools und Methodiken zur Fehlersuche in Computerprogrammen" Die Vorbesprechung findet am 29.10.2008 von 17-18 Uhr im Raum E302 statt. |
||||
|
posted: 2008-05-03 19:45:22
LPAR 2008 at Carnegie Mellon Qatar will be coorganized by our group. |
||||
|
posted: 2008-05-02 14:16:12
Michael Tautschnig will be giving a talk at the Alpine Verification Meeting 2008 titled FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. |
||||
|
||||||||||||||||||||||||
| Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help | ||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||
to top 
|
||||||||||||||||||||||||
| Home | Courses | Research | Publications | People | Open Positions | Contact | Impressum | Help | ||||||||||||||||||||||||
