Theorem Provers for Temporal Logic

Article View: sci.logic

Article #80

#80

From: kropf
Date: Fri, 07 Jul 1989 15:56

14 lines
945 bytes

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

Technical Details

Message-ID: <928@iraun1.ira.uka.de>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!mcvax!unido!iraun1!i81s1.ira.uka.de!kropf

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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