C@S -- a system tightly integrating various provers for verifying complex and large hardware circuits (mainly tautology checking, model checking and term rewriting).

Contact: Thomas Kropf Thomas.Kropf@informatik.uni-karlsruhe.de
More about CATS

RAVEN -- a model checking tool for QCTL (Quantized CTL), used for the verification of real-time systems.

Contact: Thomas Kropf Thomas.Kropf@informatik.uni-karlsruhe.de
The RAVEN homepage

after Kirchner in research-groups

Kropf's Hardware Verification Group (HVG) at Universitaet Karlsruhe Thomas.Kropf@informatik.uni-karlsruhe.de Tel: +49 721 6084220 http://goethe.ira.uka.de/people/kropf/ Fax: +49 721 370 455 4mar97 -- can't access these pages