Model checking systems of replicated processes with spin

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

Volumn 2057 LNCS, Issue , 2001, Pages 235-251

  Derepas, Fabrice ^a   Gastin, Paul ^b  

^a NORTEL NETWORKS   (Canada)

^b UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DISTRIBUTED SYSTEMS; MODEL-CHECKING SYSTEM; PROCESS LOCATION; PROMELA LANGUAGE; REDUCTION TECHNIQUES; SPIN MODELS; STATE EXPLOSION PROBLEMS;

MODEL CHECKING;

EID: 34347270319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_15     Document Type: Conference Paper

References (8)

1. C. N. Ip and D. L. Dill. Better Verification through Symmetry. International Conference on Computer Hardware Description Languages, pages 87-100, April 1993.
2. C. N. Ip and D. L. Dill. Efficient Verification of Symmetric Concurrent Systems. In IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 230-234. IEEE Computer Society, 1993.
3. C. Norris Ip and D. L. Dill. Verifying Systems with Replicated Components in Murℓ. Formal Methods in System Design, 1997.
4. G. J. Holzmann. The Spin Model Checker. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997.
5. D. Bošnački, D. Dams, and L. Holenderski. Symmetric spin. In Proceedings of the 7th SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 1-19. Springer Verlag, 2000.
6. E. A. Emerson and A. P. Sistla. Symmetry and Modelchecking. Formal Methods in System Design, 9(1):105-130, 1996.
7. D. E. Knuth. The Art of Computer Programming, volume 3, chapter 5, pages 114-123. Addison Wesley, 1973.
8. N. G. Depledge, W. A. Turner, and A. Woog. An open, distributable, three-tier client-server architecture with transaction semantics. Digital Technical Journal, 7(1), 1995.