Currently browsing

Verification of Program Parallelization

Saeed Darabi promotor: prof. dr. Marieke Huisman (UT) Twente University Date: 2 March 2018 Thesis: PDF Summary This thesis presents techniques to improve reliability and functional orrectness of parallel programs. These requirements are especially crucial in critical systems where system failures endanger human lives, cause substantial economic damages or security …