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

From: Elizabeth Barham <sunshinekisses_at_...6...>
Date: Tue, 25 Mar 2008 21:43:44 -0500

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

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

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 21:14:55 CEST