SAFETY PROPERTIES FOR CNCURRENT PROGRAMMING LANGUAGES

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
Go to Top