| Besl. instans: |
NT |
| Ämnesområde: |
Datavetenskap |
|
| Namn: |
Claessen, Koen |
|
| Univ./Institution: |
Chalmers tekniska högskola - Institutionen för data-och informationsteknik |
| Projekttitel: |
Teorembevisning i första-ordningens logik för automatisk formell verifiering |
| Project title: |
First-Order Logic Theorem Proving for Automatic Formal Verification |
| Värdhögskola: |
Chalmers tekniska högskola |
| SCB-klassificering: |
Datavetenskap, Datalogi |
| Beviljat(SEK): |
Bidragsform/Finansieringskälla |
|
2007 |
2008 |
2009 |
|
|
|
|
Projektbidrag/
Vetenskapsrådet, naturvetenskaplig-teknikvetenskaplig forskning |
|
675000 |
675000 |
675000 |
|
|
|
 |
| Beskrivning: |
Vi ska bygga mjukvara som kan resonera om och hitta fel i datasystem på en högre nivå än som har varit möjligt hittills. Det kommer att leda till bättre kvalite och påligtlighet hos datasystemen vi använder varje dag. |
| |
|
| |
 |