Tests, Proofs and Refinements

1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biology (abstract) David Dill (Stanford) Session Chair : Dolon Peled 15 : 00 15 : 30 Coffee Break 15 : 30 17 : 30 3 : Checking Object Invariants by Combining Static and Dynamic Analysis (abstract) Sriram Rajamani (Microsoft Research India) Session Chair : Moonzoo Kim 17 : 30 20 : 00 Reception Day 2: October 21 (Tuesday) 08 : 45 09 : 00 Opening 09 : 00 10 : 00 Keynote 1 : Tests, Proofs and Refinements Sriram Rajamani (Microsoft Research India) 10 : 00 10 : 30 Coffee Break 10 : 30 13 : 00 Session 1 : Model Checking Session Chair : Yunja Choi CTL Model-Checking with Graded Quantifiers Alessandro Ferrante, Margherita Napoli, Mimmo Parente Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms Gal Katz, Doron Peled Computation Tree Regular Logic for Genetic Regulatory Networks Radu Mateesc...

• Type: Conference
• Year: 2008
• Where: ATVA
• Authors: Sriram K. Rajamani
• Keywords: ATVA 2008, Hardware, Microsoft Research India, Model Checking, Model Checking Session