Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CAV: Computer Aided Verification
Publication status	Published - 2012
Event	CAV: Computer Aided Verification - Berkely, United States Duration: 7 Jul 2012 → 13 Jul 2012

Conference	CAV: Computer Aided Verification
Country/Territory	United States
City	Berkely
Period	7/07/12 → 13/07/12

Cite this

@inproceedings{8d18d4d79f944f65b42fc800b47d8a4a,

title = "Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters",

author = "Matthew Hague and Anthony Lin",

year = "2012",

language = "English",

booktitle = "CAV: Computer Aided Verification",

note = "CAV: Computer Aided Verification ; Conference date: 07-07-2012 Through 13-07-2012",

}