Second ADVANCE meeting 3-4 May 2001 Address: Verimag, Grenoble PROGRAM: Thursday, May 3: ================ 10.15 : Amir Pnueli (Weizmann Inst.) "Inductive Verification with Invisible Invariants". 11.15 : B. Boigelot (Liege) "On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables". (joint work with P. Wolper and S. Jodogne). 12.15 : Lunch 14.30 Dana Fisman (Weizmann Inst.) "Beyond Regular Model Checking" 15.30 : Monika Maidel (Edinburgh) "A general framework for model checking of ring-structured parameterized systems". 16.30 : Coffee 17.15 : Tayssir Touili (Paris) Rewriting Techniques for Verifying Parametrized Systems. 18.15 : Break 18.30 : Business meeting 20.00 : Dinner (St-Martin d'Heres) ------------------------------------------------------------- Friday, May 4: ============== 9.30 : Saddek Bensalem (Verimag) Verification of parametrized systems using Abstractions. 10.30 : Coffee 11.00 : Ahmed Bouajjani (Paris) Effective Lossy Queue Languages. (joint work with P. Abdulla and L. Boasson). 12.00 : Lunch 14.00 : Pritha Mahata (Uppsala) "SIP - A Preliminary study for modelling the protocol and verifying some of its properties." 15.00 : Marius Bozga (Verimag) Progress in IF environment - experiments with PGM and SIP. 16.00 : Coffee 16.30: Discussions about case studies and integration of tools. end of meeting