Thread View: comp.specification
2 messages
2 total messages
Started by Chris Coomber
Tue, 29 Sep 1992 04:17
temporal logic tools
Author: Chris Coomber
Date: Tue, 29 Sep 1992 04:17
Date: Tue, 29 Sep 1992 04:17
10 lines
716 bytes
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
Re: temporal logic tools
Author: Jon Jacky
Date: Tue, 29 Sep 1992 16:37
Date: Tue, 29 Sep 1992 16:37
11 lines
1052 bytes
1052 bytes
In article <1a8ld0INN2cv@sol.deakin.OZ.AU> cjc@cm.deakin.OZ.AU (Chris Coomber) writes: > >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. > I know of OTTER, but what/where is SETHEO? It would be useful to post a bit more information about availability, etc. - Jon Jacky, jon@radonc.washington.edu, University of Washington, Seattle USA
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads