Back to Results
First PageMeta Content



Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac
Add to Reading List

Document Date: 2012-08-31 08:16:46


Open Document

File Size: 210,30 KB

Share Result on Facebook
UPDATE