Welcome

Welcome to the web page of the Formal Methods Group (FMG) at the University of Tübingen. We are part of the Computer Engineering Department at the Wilhelm-Schickard-Institut für Informatik.

Formal Methods Group
Computer Engineering (Technische Informatik)
Wilhelm-Schickard-Institut für Informatik
University of Tübingen
Sand 13
72076 Tübingen
Germany

1.1.2006 10:30	Jörg joined our team.
15.6.2005 10:30	Stefan joined our team.
12.10.2004 17:30	SymC V0.4 released, available at the download page.
29.07.2004 11:41	Raven V2.2.0 released.