Taşıran, SerdarKuru, İsmail2024-11-092015https://hdl.handle.net/20.500.14288/4892xxii, 131 l. : ill. 30 cm.restrictedAccessComputer software, VerificationMemory management (Computer science)Cache memoryDistributed shared memorySoftware engineeringLogic designStatic methods for checking correctness of programs on relaxed memory systemsThesis© All Rights Reserved. Accessible to Koç University Affiliated Users Only!