Filter the results Item type Select All/None Language Independent Folder Language Root Folder Folder News Item Collection Image File New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 3 items matching your search terms. Sort by relevance date (newest first) alphabetically Machine quality assurance for software Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP) Located in newsarchive Prof. Andreas Podelski erhält 1,15 Millionen Euro Parlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik Located in newsarchive SV-COMP competition Freiburg team wins for the second time in a a row Located in newsarchive