Conferences in DBLP

SPIN (spin)
2000 (conf/spin/2000)

1. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
   Symmetric Spin. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:1-19 [Conf]
   
2. Radu Iosif, Riccardo Sisto
   Using Garbage Collection in Model Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:20-33 [Conf]
   
3. Bengi Karaçali, Kuo-Chung Tai
   Model Checking Based on Simultaneous Reachability Analysis. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:34-53 [Conf]
   
4. Heikki Tauriainen, Keijo Heljanko
   Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:54-72 [Conf]
   
5. Ed Brinksma, Angelika Mader
   Verification and Optimization of a PLC Control Schedule. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:73-92 [Conf]
   
6. Nicholas Weininger, Darren D. Cofer
   Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:93-112 [Conf]
   
7. Thomas Ball, Sriram K. Rajamani
   Bebop: A Symbolic Model Checker for Boolean Programs. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:113-130 [Conf]
   
8. Gerard J. Holzmann
   Logic Verification of ANSI-C Code with SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:131-147 [Conf]
   
9. Wayne Liu
   Interaction Abstraction for Compositional Finite State Systems. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:148-162 [Conf]
   
10. Mila E. Majster-Cederbaum, Frank Salger
    Correctness by Construction: Towards Verification in Hierarchical System Development. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:163-180 [Conf]
    
11. Anca Browne, Henny Sipma, Ting Zhang
    Linking ST_eP with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:181-186 [Conf]
    
12. Elena Fersman, Bengt Jonsson
    Abstraction of Communication Channels in Promela: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:187-204 [Conf]
    
13. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
    A Language Framework for Expressing Checkable Properties of Dynamic Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:205-223 [Conf]
    
14. Scott D. Stoller
    Model-Checking Multi-threaded Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:224-244 [Conf]
    
15. Klaus Havelund
    Using Runtime Analysis to Guide Model Checking of Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:245-264 [Conf]
    
16. Matthieu Martel, Marc Gengler
    Communication Topology Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:265-286 [Conf]
    
17. Theo C. Ruys
    Low-Fat Recipes for SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:287-321 [Conf]
    
18. Philippa J. Broadfoot, A. W. Roscoe
    Tutorial on FDR and Its Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:322- [Conf]
    
19. Doron Drusinsky
    The Temporal Rover and the ATG Rover. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:323-330 [Conf]
    
20. Jerry J. Harrow
    Runtime Checking of Multithreaded Applications with Visual Threads. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:331-342 [Conf]