Techniques for runtime monitoring and static verification of concurrent software

Taşıran, SerdarQadeer, ShazElmas, Tayfun2024-11-092010https://hdl.handle.net/20.500.14288/4805xxvi, 388 l. : ill. 30 cm.restrictedAccessProgramming languages (Electronic computers)Java (Computer program language)Techniques for runtime monitoring and static verification of concurrent softwareDissertation© All Rights Reserved. Accessible to Koç University Affiliated Users Only!