Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters. / Hague, Matthew; Lin, Anthony.

CAV: Computer Aided Verification. 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationCAV: Computer Aided Verification
Publication statusPublished - 2012
EventCAV: Computer Aided Verification - Berkely, United States
Duration: 7 Jul 201213 Jul 2012

Conference

ConferenceCAV: Computer Aided Verification
Country/TerritoryUnited States
CityBerkely
Period7/07/1213/07/12

ID: 25573042