[eclipse-users] temporal logic libraries? model checking recs?

From: Elizabeth Barham <sunshinekisses_at_gmail.com>
Date: Tue, 25 Mar 2008 21:43:44 -0500
Hi,

Are there any libraries for ECLiPSe that facilitate model checking
and/or the use of temporal logic qualifiers? If not, does anyone know
of any documents about using ECLiPSe for these purposes? I'm working
on a paper tentatively entitled "Model Checking with CLP" and am
hoping to end the paper with an example using ECLiPSe as the CLP
platform.

Thank you,
Elizabeth
Received on Wed Mar 26 2008 - 02:43:54 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET