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

From: Andrzej Lewandowski <lewando_at_attglobal.net>
Date: Wed, 26 Mar 2008 07:59:22 -0500
What is "model checking"?...

A.L.

> -----Original Message-----
> From: 
> eclipse-users-bounces+lewando=attglobal.net_at_crosscoreop.com 
> [mailto:eclipse-users-bounces+lewando=attglobal.net_at_crosscoreo
> p.com] On Behalf Of Elizabeth Barham
> Sent: Tuesday, March 25, 2008 9:44 PM
> To: ECLiPSe Users List
> Subject: [eclipse-users] temporal logic libraries? model 
> checking recs?
> 
> 
> 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
> 
> _______________________________________________
> ECLiPSe-Users mailing list
> ECLiPSe-Users_at_crosscoreop.com 
> http://www.crosscoreop.com/mailman/options/eclipse-users
> 
Received on Wed Mar 26 2008 - 12:59:40 CET

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