RECOUNT: Publications

Click here to download all publications in a single bibtex file

@article{CAV'12,
  title = "Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters",
  author = "Matthew Hague and Anthony Widjaja Lin",
  year = "In Computer Aided Verification (CAV), 2012",
}

@inproceedings{HL11-cav,
  title = "Model Checking Recursive Programs with Numeric Data Types",
  author = "Matthew Hague and Anthony Widjaja Lin",
  year = "2011",
  booktitle = "Computer Aided Verification (CAV)",
  note = "Prototypical implementation: <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.tgz">[tgz]</a>  <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.txz">[txz]</a>.",
}