RECOUNT: Publications

Journal papers

• [1]

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

  Matthew Hague and Anthony Widjaja Lin

  In Computer Aided Verification (CAV), 2012.

  Details about Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | BibTeX data for Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | Download  (pdf) of Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters

Conference papers

• [1]

  Model Checking Recursive Programs with Numeric Data Types

  Matthew Hague and Anthony Widjaja Lin

  In Computer Aided Verification (CAV). 2011.

  Prototypical implementation: [tgz] [txz].

  Details about Model Checking Recursive Programs with Numeric Data Types | BibTeX data for Model Checking Recursive Programs with Numeric Data Types | Download  (pdf) of Model Checking Recursive Programs with Numeric Data Types