Chao Wang    

 Project: rInspect




Description: The objective of this research is to develop automated verification methods for concurrent software. Concurrent software in general and concurrent data structures in particular are becoming widespread in multi-core and distributed computing environments. However, they are difficult to design and analyze due to the often astronomically large number of thread interleavings. We are developing new algorithms and tools to verify concurrent software more efficiently.