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

From: Marco Gavanelli <marco.gavanelli_at_unife.it>
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:

http://pst.istc.cnr.it/RCRA07/program.html

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

Cheers,
Marco

-- 
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
http://www.ing.unife.it/docenti/MarcoGavanelli/
Received on Thu Mar 27 2008 - 20:14:37 CET

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