Avoiding state explosion for distributed systems with timestamps

DOI10.1007/3-540-45251-6_7MaRDI QIDQ2763968zbMATH OpenFDO

Authors Fabrice Derepas, Paul Gastin, David Plainfossé

Publication date 22 January 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/2021/20210119

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Model checking systems of replicated processes with Spin
• Distributed partial order reduction of state spaces
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model

This page was built for publication: Avoiding state explosion for distributed systems with timestamps

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