Independence Abstractions and Models of Concurrency.

Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa

Browse the full VMCAI paper archive.