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