Projektdatenbank

Offene Calls

Es gibt 3 Ergebnisse

Filtern nach

ICT15-103 Igor Konnov (Vienna University of Technology)
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000

VRG11-005 Georg Weissenbacher (Formal Methods in Systems Engineering Group, Institut fuer Informationssysteme, TU Wien)
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000

ICT10-050 Helmut Veith (Vienna University of Technology)
PROSEED: Proof Seeding for Software Verification
Dauer: 48 Monate, Fördersumme: € 598.000

als CSV Dokument öffnen

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind technisch notwendig, während andere uns helfen, diese Website zu verbessern oder zusätzliche Funktionalitäten zur Verfügung zu stellen. Weitere Informationen

Notwendige Cookies

Statistische Auswertung

Externe Medien