Concurrent Program Verification with Invariant-Guided Underapproximation.

Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar

Browse the full ATVA paper archive.