Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Browse the full ICSE paper archive.