Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

VSSC Berichtzusammenfassung

Project ID: 321174
Gefördert unter: FP7-IDEAS-ERC
Land: Israel

Mid-Term Report Summary - VSSC (Verifying and Synthesizing Software Compositions)

We developed automatic methods for proving safety of infinite systems with applications to concurrent and distributed systems including software defined networks. These methods will improve the security of software systems and improve software productivity by early detection of bugs. These results are published at top conferences and invited to top scientific journals. These methods already used by other researchers including Stanford and Oxford universities.

Kontakt

Lea Pais, (Director of the Research Authority)
Tel.: +97236408774
Fax: +97236409697
E-Mail-Adresse
Datensatznummer: 181873 / Zuletzt geändert am: 2016-05-03
Informationsquelle: SESAM