Model checking systems of replicated processes with Spin

DOI10.1007/3-540-45139-0_15MaRDI QIDQ4531763zbMATH OpenFDO

Authors Fabrice Derepas, Paul Gastin

Publication date 23 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2057/20570235

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symmetry reduction criteria for software model checking
• scientific article; zbMATH DE number 1418460
• Symmetry reductions in model-checking
• Extending symmetry reduction techniques to a realistic model of computation
• \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models

Cited in

(14)

• Automatic symmetry detection for Promela
• Modeling the ASCB-D synchronization algorithm with SPIN: A case study
• Avoiding state explosion for distributed systems with timestamps
• Efficient reduction techniques for systems with many components
• \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models
• SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
• Model-Checking Helena Ensembles with Spin
• A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• Models and Software Model Checking of a Distributed File Replication System
• Extending symmetry reduction techniques to a realistic model of computation
• Model Checking Software
• Verification, Model Checking, and Abstract Interpretation
• Symmetry and partial order reduction techniques in model checking Rebeca

This page was built for publication: Model checking systems of replicated processes with Spin

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531763)