temporal logic tools

Article View: comp.specification

Article #280

Back to comp.specification Previous Next

#280

From: Chris Coomber
Date: Tue, 29 Sep 1992 04:17

10 lines
716 bytes

A week ago I requested whether anyone knew of a good FOL theorem prover.
I have since received many replies and obtained two good FOL theorem
provers, namely OTTER and SETHEO. 

Further my question, does anyone know the whereabouts of any tools for
constructing (and reasoning about) temporal logic?

Regards,
Chris Coomber

Technical Details

Message-ID: <1a8ld0INN2cv@sol.deakin.OZ.AU>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!sol.deakin.OZ.AU!cjc

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!sol.deakin.OZ.AU!cjc
From: cjc@cm.deakin.OZ.AU (Chris Coomber)
Newsgroups: comp.specification,sci.logic
Subject: temporal logic tools
Date: 29 Sep 1992 04:17:36 GMT
Organization: Deakin University, Geelong, Australia
Lines: 10
Distribution: world
Message-ID: <1a8ld0INN2cv@sol.deakin.OZ.AU>
NNTP-Posting-Host: galadriel.cm.deakin.oz.au