Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Computer Laboratory – Thomas Tuerk: Publications
T. Tuerk A formalisation of Smallfoot in HOL Theorem Proving in Higher Order Logics (TPHOLs)
2008
T. Tuerk A Separation Logic Framework in HOL Theorem Proving in Higher Order Logics (TPHOLs) : Emerging Trends
2007
T. Tuerk and K. Schneider and M. Gordon Model Checking PSL Using HOL and SMV Haifa Verification Conference (HVC)
2005
K. Schneider and J. Brandt and T. Schuele and T. Tuerk Improving Constructiveness in Code Generators Synchronous Languages, Applications, and Programming (SLAP)
K. Schneider and J. Brandt and T. Schuele and T. Tuerk Maximal Causality Analysis Application of Concurrency to System Design (ACSD)
T. Tuerk and K. Schneider From PSL to LTL: A Formal Validation in HOL Theorem Proving in Higher Order Logic (TPHOL)
T. Tuerk and K. Schneider Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata Technical Report
T. Tuerk A Hierarchy for Accellera's Property Specification Language Master Thesis
2003
T. Tuerk Constraintbasierte Vervollständigungstechniken: Gleichheitsconstraints Project Thesis