Search: (more)
Header

Search Result

2007

BibTeX Search WWW PDF   [TuSG07]
T. Türk and K. Schneider and M. Gordon
Model Checking PSL Using HOL and SMV
Haifa Verification Conference (HVC)

2005

BibTeX Search WWW PDF   [SBST05a]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Improving Constructiveness in Code Generators
Synchronous Languages, Applications, and Programming (SLAP)
BibTeX Search WWW PDF   [SBST05b]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Maximal Causality Analysis
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [TuSc05]
T. Türk and K. Schneider
From PSL to LTL: A Formal Validation in HOL
Theorem Proving in Higher Order Logics (TPHOL)
BibTeX Search WWW PDF   [TuSc05a]
T. Türk and K. Schneider
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Technical Report
BibTeX Search WWW PDF   [Tuer05]
T. Türk
A Hierarchy for Accellera's Property Specification Language
Diploma Thesis

2003

BibTeX Search WWW PDF   [Tuer03]
T. Türk
Constraint-basierte Vervollständigungstechniken: Gleichheitsconstraints
Project Thesis