Verification of Concurrent Programs Using Trace Abstraction Refinement.

Franck Cassez, Frowin Ziegler

Browse the full LPAR paper archive.