| Document Date: 2013-04-22 14:23:31
Open Document File Size: 743,75 KBShare Result on Facebook
Company BP / / Currency pence / / / Event Company Expansion / / Facility store Msg / / IndustryTerm exponential search / concurrent algorithms / per-processor / particular concurrent algorithm / infinite state alternating bit protocol / cube search / classic algorithm / cube search space / predicate abstraction algorithm / / Organization PP SO / Technion / / Person M . Soundness / M . Soundness Under / / Position constructed program PM / memory model / Prime Minister / reduced program PM / program PM / The program PM / / ProvinceOrState South Carolina / / Technology predicate abstraction algorithm / ABP algorithm / Bakery algorithm / cloning / challenging concurrent algorithms / sequential consistency / infinite state alternating bit protocol / particular concurrent algorithm / /
SocialTag |
Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch