Reading Group on Model Checking and Abstraction

Meeting Schedule:

1. E. Clarke, O. Grumberg and D. Long.
   Model Checking and Abstraction
   TOPLAS 1994.

2. R. Cleaveland, P. Iyer and D. Yankelewich.
   Optimality in Abstractions of Model Checking
   Static Analysis Symposium, 1995.

3. R. Cleaveland and J. Riely.
   Testing-Based Abstractions for Value Passing Systems
   CONCUR 1994.

4. P. Cousot and R. Cousot.
   Parallel Combination of Abstract Interpretation and Model-Based Automatic Analysis of Software
   ACM SIGPLAN Workshop on Automated Analysis of Software, 1997.

5. P. Cousot and R. Cousot.
   Refining Model Checking by Abstract Interpretation
   Automated Software Engineering, 1999.

6. P. Cousot and R. Cousot.
   Temporal Abstract Interpretation
   POPL 2000.

7. D. Dams, R. Gerth and O. Grumberg.
   Abstact Interpretation of Reactive Systems
   TOPLAS 1997.

8. D. Dams and R. Gerth.
   Bounded Retransmission Protocol Revisited
   INFINITY'97, Electronic Notes in TCS (vol. 9), 1997.

9. S. Graf.
   Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
   Distributed Computing, 1999.

10. S. Graf and H. Saidi.
    Construction of abstract state graphs with PVS
    CAV 1997.

11. C. Ip and D. Dill.
    Verifying Systems with Replicated Components in Murphi
    Formal Methods in System Design, 1999.

12. D. Lesens and H. Saidi.
    Abstraction of Parameterized Networks
    INFINITY'97, Electronic Notes in TCS (vol. 9), 1997.

13. V. Rusu and E. Singerman.
    On proving safety properties by integrating static analysis, theorem proving and abstraction
    TACAS 1999.

14. H. Saidi and N. Shankar.
    Abstract and Model Check while you Prove
    CAV 1999.