Verification of Concurrent Software with FLAVERS.

Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer

Browse the full ICSE paper archive.