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

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Thu, 27 Mar 2008 21:12:39 +0100
Elizabeth Barham wrote:
> 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.

Hi Elizabeth,

I am not expert about model checking, but I know there is conspicuous 
work about model checking (both bounded and unbounded) in SAT. There was 
an interesting invited talk by Joao Marques-Silva at RCRA 2007:

you can get some pointers from his slides. Maybe some ideas can be 
ported from SAT to CLP(FD).


Marco Gavanelli, Ph.D.
Computer Science Division
Dipartimento di Ingegneria
University of Ferrara
Via Saragat 1 - 44100 Ferrara (Italy)
Tel  +39-0532-97-4833
Fax  +39-0532-97-4870
Received on Thu Mar 27 2008 - 20:14:37 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 25 2019 - 06:15:49 CEST