|
Conferences in DBLP
- Dragan Bosnacki, Dennis Dams, Leszek Holenderski
Symmetric Spin. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:1-19 [Conf]
- Radu Iosif, Riccardo Sisto
Using Garbage Collection in Model Checking. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:20-33 [Conf]
- Bengi Karaçali, Kuo-Chung Tai
Model Checking Based on Simultaneous Reachability Analysis. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:34-53 [Conf]
- 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]
- Ed Brinksma, Angelika Mader
Verification and Optimization of a PLC Control Schedule. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:73-92 [Conf]
- 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]
- Thomas Ball, Sriram K. Rajamani
Bebop: A Symbolic Model Checker for Boolean Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:113-130 [Conf]
- Gerard J. Holzmann
Logic Verification of ANSI-C Code with SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:131-147 [Conf]
- Wayne Liu
Interaction Abstraction for Compositional Finite State Systems. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:148-162 [Conf]
- 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]
- Anca Browne, Henny Sipma, Ting Zhang
Linking STeP with SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:181-186 [Conf]
- Elena Fersman, Bengt Jonsson
Abstraction of Communication Channels in Promela: A Case Study. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:187-204 [Conf]
- 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]
- Scott D. Stoller
Model-Checking Multi-threaded Distributed Java Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:224-244 [Conf]
- Klaus Havelund
Using Runtime Analysis to Guide Model Checking of Java Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:245-264 [Conf]
- Matthieu Martel, Marc Gengler
Communication Topology Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:265-286 [Conf]
- Theo C. Ruys
Low-Fat Recipes for SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:287-321 [Conf]
- Philippa J. Broadfoot, A. W. Roscoe
Tutorial on FDR and Its Applications. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:322- [Conf]
- Doron Drusinsky
The Temporal Rover and the ATG Rover. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:323-330 [Conf]
- Jerry J. Harrow
Runtime Checking of Multithreaded Applications with Visual Threads. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:331-342 [Conf]
|