Guiding spin simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3308, Issue , 2004, Pages 176-193

  Goga, Nicolae ^a   Romijn, Judi ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

FIREWIRE PROTOCOLS; FIREWIRES; ORIGINAL SYSTEMS; PRACTICAL EXPERIENCE; SIMULATION AND VALIDATION; SPIN TOOL; THEORETICAL FRAMEWORK; UPDATE ALGORITHMS;

SPECIFICATIONS;

EID: 35048876268     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_20     Document Type: Article

References (16)

1. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser, and J. van de Pol. mCRL: A toolset for analysing algebraic specifications. In Proceedings of CAV'01, volume 2102 of LNCS, pages 250-254. Springer, 2001.
2. A. Burns, R.L. Spelberg, H. Toetenel, and T. Vink. Modeling and verification using XTG and PMC. Proc. of the 5th annual conf. of ASCI, 1999.
3. E. Clarke, O. Grumberg, and D. Long. Verification Tools for Finite State Concurrent Systems. In A Decade of Concurrency-Reflections and Perspectives, volume 803, pages 124-175. Springer, 1993.
4. L.D. David, J.D. Andreas, J.H. Alan, and C.H. Yang. Protocol verification as a hardware design aid. IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 522-525, 1992.
5. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. EASST Newsletter, 4:13-24, 2002. Also available as INRIA Technical Report RT-254.
6. E. Gunter and D. Peled. Temporal debugging for concurrent systems. In Proceedings of TACAS'02, LNCS, pages 431-444. Springer, 2002.
7. T.A. Henzinger, P.H. Ho, and H. Wong-Toi. Hytech: The next generation. Proc. of RTSS'95, pages 56-65, 1995.
8. G.J. Holzmann. The Spin Model Checker-Primer and Reference Manual. Addison-Wesley, 2003. See also URL http://www.spinroot.com/.
9. The Institute of Electrical And Electronics Engineers, Inc. IEEE Standard for a High Performance Serial Bus, August 1996. IEEE Std 1394-1995.
10. The Institute of Electrical And Electronics Engineers, Inc. IEEE P 1394.1 Draft Standard for High Performance Serial Bus Bridges, November 2003. Version 1.05.
11. I.A. van Langevelde, J.M.T Romijn, and N. Goga. Founding firewire bridges through promela prototyping. In Proc. of FMPPTA'03. IEEE CS Press, 2003.
12. K.G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
13. J.M.T. Romijn. Improving the quality of protocol standards: Correcting IEEE 1394.1 firewire net update. Newsletter of the NVTI, 8:23-30, 2004.
14. M. Sihman and S. Katz. A calculus of superimpositions for distributed systems. In Proceedings of AOSD'02, pages 28-40. ACM Press, 2002.
15. Sweden Telelogic AB. Telelogic Tan Guide. 1998.
16. S. Yovine. A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer, 1:123-133, 1997.