Sciweavers

Share
ATVA
2008
Springer

Tests, Proofs and Refinements

9 years 4 months ago
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...
Sriram K. Rajamani
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATVA
Authors Sriram K. Rajamani
Comments (0)
books