Xref: utzoo sci.logic:465 comp.ai:4407 comp.lang.lisp:1922 comp.lang.prolog:1796
Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!mcvax!unido!iraun1!i81s1.ira.uka.de!kropf
From: kropf@i81s1.ira.uka.de
Newsgroups: sci.logic,comp.ai,comp.lang.lisp,comp.lang.prolog
Subject: Theorem Provers for Temporal Logic
Message-ID: <928@iraun1.ira.uka.de>
Date: 7 Jul 89 15:56:34 GMT
Sender: news@iraun1.ira.uka.de
Reply-To: kropf@i81s1.ira.uka.de ()
Organization: University of Karlsuhe, West-Germany
Lines: 14

Working in the fields of hardware specification and verification,
I am looking desperately for theorem provers which are able to cope with
temporal logic, especially with linear temporal logic 
(as proposed e.g. by Manna & Pnueli).

Every reference to available systems or to people coping with 
such tools are gratefully appreciated!

Please E-mail (CS-Net) to kropf@ira.uka.de

Thomas Kropf
Institute of Computer Design and Fault Tolerance
University of Karlsruhe
West-Germany