rkaivola@cc.helsinki.fi (11/22/90)
Sorry if this is a duplicate, but the original posting did not seem to
make is beyond the local node.
We are currently looking for automated tools for temporal logics,
in particular for the temporal logics of programs.
As far as we know there exist references in the literature to tools
belonging to the following categories:
* temporal logic programming languages (e.g. TEMPURA, TEMPLOG, TOKIO )
* temporal logic theorem provers (e.g. resolution methods, tableau methods,
automata theoretic methods, proof editors)
* temporal logic model checkers (e.g. for CTL, FCTL, linear time logic and
full branching time logic)
If you can supply us with any information concerning the existence and
availability of such tools (from whom to order, approximate costs etc.)
or your own experiences in using these tools in practice, your contribution
will be gratefully received. Should your contribution not fall in the
aforementioned categories please do not let this deter you from submitting.
If there will be enough interest, we will summarise for the net.
Roope Kaivola
rkaivola@cc.Helsinki.fi University of Helsinki
rkaivola@finuh.EARN Department of Computer Science
Teollisuuskatu 23
SF-00510 Helsinki
Finland