scientific article; zbMATH DE number 1744968

MaRDI QIDQ4531763zbMATH OpenFDO

Authors Fabrice Derepas, Paul Gastin

Publication date 23 May 2002

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

• scientific article; zbMATH DE number 2087620
• scientific article; zbMATH DE number 1418460
• scientific article; zbMATH DE number 1953019
• 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
• scientific article; zbMATH DE number 1670554 (Why is no real title available?)
• scientific article; zbMATH DE number 1693431 (Why is no real title available?)
• 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:

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