Software
| We are currently rebuilding this page to include our latest projects and results. The updated page will be available shortly and will be announced in our news section. |
FShell
FShell provides a versatile testing environment for C programs which supports both interactive explorative use and a rich scripting language. More than a frontend for software model checkers, FShell is designed as a database engine which dispatches queries about the program to program analysis tools.
Diagnostics
Diagnostics is a unified framework for code annotation, logging, program monitoring, and unit-testing.
Hessen Automata Library
A library for automata and regular expression manipulation.
Software
Latest News
Uni-Finanzierung als Absurdes Theater (Der Standard)
An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]
[Read More...]Doctoral College “Adaptive Distributed Systems”
Call for applications
Start of program in winter semester 2012
Ultimate closing: March 15th, 2013
Upcoming Course: Ana Sokolova
Course on Coalgebra in Computer Science
March 8 – June 28, 2012 in seminar room Gödel / von Neumann
[Read More...]