Verification of sequential and concurrent libraries

Verification of sequential and concurrent libraries

The goal of this dissertation is to present new and improved techniques for fully automatic verification of sequential and concurrent software libraries. In most cases, automatic software verification is plagued by undecidability, while in many others it suffers from prohibitively high computational...

Full description

Bibliographic Details
Main Author: Deshmukh, Jyotirmoy Vinay
Format: Others
Language:English
Published: 2011
Subjects:
Computer software
Verification
Static analysis
Shape analysis
Data structures
Deadlocks
Deadlock detection
Concurrency
Concurrent libraries
Multi-threaded
Wait-notify
Synchronization
Online Access:http://hdl.handle.net/2152/ETD-UT-2010-08-1771

Internet

http://hdl.handle.net/2152/ETD-UT-2010-08-1771

Similar Items