Proof Seeding for Software Verification

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
PROSEED
 
Project Title (de) Projekttitel (de)
Proof Seeding for Software Verification
 
Project Title (en) Projekttitel (en)
Proof Seeding for Software Verification
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT10-050
 

Publications

Results 1-2 of 2 (Search time: 0.009 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015
2Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut ; Yahav, Eran Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011