Informatics Report Series


Paul Jackson

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh