![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
7th SPIN 2000: Stanford, CA, USA
- Klaus Havelund, John Penix, Willem Visser:
SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9
Papers
- Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
Symmetric Spin. 1-19 - Radu Iosif, Riccardo Sisto:
Using Garbage Collection in Model Checking. 20-33 - Bengi Karaçali, Kuo-Chung Tai:
Model Checking Based on Simultaneous Reachability Analysis. 34-53 - Heikki Tauriainen, Keijo Heljanko:
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. 54-72 - Ed Brinksma, Angelika Mader
:
Verification and Optimization of a PLC Control Schedule. 73-92 - Nicholas Weininger, Darren D. Cofer:
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. 93-112 - Thomas Ball, Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs. 113-130 - Gerard J. Holzmann:
Logic Verification of ANSI-C Code with SPIN. 131-147 - Wayne Liu:
Interaction Abstraction for Compositional Finite State Systems. 148-162 - Mila E. Majster-Cederbaum, Frank Salger:
Correctness by Construction: Towards Verification in Hierarchical System Development. 163-180 - Anca Browne, Henny Sipma, Ting Zhang:
Linking STeP with SPIN. 181-186 - Elena Fersman, Bengt Jonsson:
Abstraction of Communication Channels in Promela: A Case Study. 187-204 - James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. 205-223 - Scott D. Stoller:
Model-Checking Multi-threaded Distributed Java Programs. 224-244 - Klaus Havelund:
Using Runtime Analysis to Guide Model Checking of Java Programs. 245-264 - Matthieu Martel, Marc Gengler:
Communication Topology Analysis for Concurrent Programs. 265-286 - Theo C. Ruys:
Low-Fat Recipes for SPIN. 287-321
Tool Tutorials
- Philippa J. Broadfoot, A. W. Roscoe:
Tutorial on FDR and Its Applications. 322 - Doron Drusinsky:
The Temporal Rover and the ATG Rover. 323-330 - Jerry J. Harrow:
Runtime Checking of Multithreaded Applications with Visual Threads. 331-342
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.