What is "model checking"?... A.L. > -----Original Message----- > From: > eclipse-users-bounces+lewando=attglobal.net_at_...2... > [mailto:eclipse-users-bounces+lewando=attglobal.net_at_...29... > 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_...2... > 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.3.0 : Wed Sep 25 2024 - 15:13:20 CEST