| Ref.No: | 65186400 |
| Start date: | 01.12.2010 |
| End date: | 31.05.2012 |
| Approval date: | 14.01.2011 |
| Department: | ELECTRICAL & COMPUTER ENGINEERING |
| Sector: | COMPUTER SCIENCE |
| Financier: | ΒΑΣΙΚΗ ΕΡΕΥΝΑ, EIDIKOS LOG/MOS EMP |
| Budget: | 15.000,00 € |
| Scientific Responsible: | Assist. Prof. PAPASPYROU |
| Email: | nickie@softlab.ntua.gr |
| Description: | THE SUBJECT OF THIS PROJECT IS TO DEVELOP THEORIES AND TECHNIQUES FOR IMPROVING SOFTWARE RELIABILITY.AS A FIRST ACTION,WE WILL DEVELOP APPROPRIATE TYPE SYSTEMS WHICH WILL STATICALLY PROVIDE SAFETY AND LIVENESS GUARANTEED SUCH AS MEMORY SAFETY,DATA-RACE |
