Carsten Sinz

Please also take a look at my new official home page and at my private home page.

Phone:

+49 7071 29 70477

Fax:

+49 7071 29 5160

E-mail:

Nov. 2004 (internal): Reiner Hähnle hält eine Kompaktvorlesung über formale Spezifikation und Verifikation mit KeY (16.11.-25.11.)
Oct. 2004 (internal): Vorlesung Automatisches Beweisen
Sept./Oct. 2004: I will be at Chalmers University (Gothenburg, Sweden, 27.09.-08.10.) giving an intensive course on Advanced Topics in SAT-Solving
September 2004: Propostional Translation of PVS Specifications (Slides of a talk held at the National Institute of Aerospace (NIA), NASA Langley Research Center, Hampton)
February 2004: Visualizing the Internal Structure of SAT Instances (Preliminary Report)
Oktober 2003 (internal): Neue Studienarbeiten zu vergeben:
1. Visualisierung von Interaktionsgraphen im Davis-Putnam-Algorithmus
2. Entwurf einer Sprache zur Modellierung logischer Probleme
April 2003 (internal): Vorlesung Automatisches Beweisen

CardConstraints: Routines (in C++) for efficiently encoding Boolean cardinality constraints.
DPvis: A tool to visualize structured SAT instances and the Davis-Putnam procedure.
ARA: A theorem prover for relation algebras.
BIS: A commercial system to check the consistency of automotive product data.
Teamwork-PaReDuX: Combination of distribution and parallelization for equational theorem proving (paper, slides)
PaSAT: A parallel SAT-checker with lemma exchange.