CSE-653: Seminar in Concurrency

Papers for potential presentation:

• K.S. Namjoshi and R.P. Kurshan, Syntactic Program Transformations for Automatic Abstraction. In CAV'00, LNCS volume 1855, 2000.
• H. Saidi, Model checking guided abstraction and analysis. In SAS'00, LNCS volume 1824, 2000.
• S. Bensalem, Y. Lakhnech and S. Owre. Computing Abstractions of Infinite State Systems Compositionally and Automatically. In CAV'98, LNCS volume 1427, 1998.
• K. Baukus, Y. Lakhnech, K. Stahl, and M. Steffen. Divide, abstract and model-check. In 5th SPIN Workshop, LNCS volume 1680, 1999.
• S. Graf and H. Saidi, Construction of abstract state graphs of infinite systems with PVS. In CAV'97, LNCS volumne 1254, 1997.
• H. Saidi and N. Shankar. Abstract and model check while you prove. In CAV'99, LNCS volume 1633, 1999.
• G.J. Holzmann, Designing executable abstractions, In Formal Methods in Software Practice, 1998.
• P. A. Abdulla, A. Annichini, S. Bensalem, A. Bouajjani, P. Habermehl, Y. Lakhnech, Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. In CAV'99, LNCS volume 1633, 1999.

• A. Pnueli and E. Shahar, Liveness and Acceleration in Parameterized Verification. In CAV'00, LNCS volume 1855, 2000.
• J.-P. Bodeveix and M. Filali, Experimenting acceleration methods for the validation of infinite state systems. In International Workshop on Distributed System Validation and Verification,(DSVV 2000), pages 23--32. IEEE, 2000.

• E. Stark. A Proof Technique for Rely/Guarantee Properties. FSTTCS'85, LNCS volume 206, 1985.
• R. Alur and T.A. Henzinger. Reactive modules. Foemal Methods in System Design, 15:7--48, 1999.
• T.A. Henzinger, S. Qadeer and S.K. Rajamani. You assume, we guarantee: Methodology and case studies. In CAV'98, LNCS volume 1427, 1998.

• P. A. Abdulla, A. Bouajjani, B. Jonsson, On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. In CAV'98, LNCS volume 1427, 1998.
• D. Dams and R. Gerth, The Bounded Retransmission Protocol Revisited, Infinity'97, ENTCS volume 9, 1997.
• P. A. Abdulla, A. Annichini, and A. Bouajjani. Algorithmic Verification of Lossy Channel Systems: An Application to the Bounded Retransmission Protocol. TACAS'99, LNCS volume 1579, 1999.

• P. Wolper and B. Boigelot. Verifying systems with infinite but regular state space. In CAV'98, LNCS volume 1427, 1998.

• G.J. Holzmann and M.H. Smith, Software Model Checking: Extracting verification models from source code. In PSTV/FORTE'99, Kluwer, 1999.
• G.J. Holzmann and M.H. Smith, Software Model Checking: A Practical Method for Verifying Event-Driven Software, In ICSE'99, IEEE/ACM, 1999.