University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Paul Jackson
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1330
Jul 2009
Combined Decision Techniques for the Existential Theory of the Reals
EDI-INF-RR-0694
May 2007
A Compact Linear Translation for Bounded Model Checking
EDI-INF-RR-0693
Jan 2006
Nuprl. Ch 14 of "The Seventeen Provers of the World", Freek Wiedijk ed, foreword by Dana Scott.
EDI-INF-RR-0580
Mar 2004
Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking.
EDI-INF-RR-0579
Aug 2005
Clause Form Conversions for Boolean Circuits
EDI-INF-RR-0046
Sep 2001
TPHOLs 2001: Supplemental Proceedings
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh