Assume-Guarantee Algorithms for Automatic Detection of Software Failures.

Mohammad Zulkernine, Rudolph E. Seviora

Browse the full IFM paper archive.