Symmetry and partial order reduction techniques in model checking Rebeca

DOI10.1007/S00236-009-0111-XMaRDI QIDQ845239zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammadreza Mousavi, Ehsan Khamespanah, Ali Movaghar

Publication date 5 February 2010

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/11810

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Actor-based slicing techniques for efficient reduction of Rebeca models
• scientific article; zbMATH DE number 2087620
• Extending Symmetry Reduction by Exploiting System Architecture
• Employing symmetry reductions in model checking
• scientific article; zbMATH DE number 1744968

Cites work

• scientific article; zbMATH DE number 1693448 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 177513 (Why is no real title available?)
• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• scientific article; zbMATH DE number 2182600 (Why is no real title available?)
• scientific article; zbMATH DE number 2087620 (Why is no real title available?)
• scientific article; zbMATH DE number 3197115 (Why is no real title available?)
• An efficient partial order reduction algorithm with an alternative proviso implementation
• Automata-Theoretic Model Checking Revisited
• Correct Hardware Design and Verification Methods
• Dynamic partial-order reduction for model checking software
• Efficient Approximate Verification of Promela Models Via Symmetry Markers
• FM 2005: Formal Methods
• Formal Modeling and Analysis of Timed Systems
• Partial-order reduction in symbolic state-space exploration

Cited in

(3)

• Actor-based slicing techniques for efficient reduction of Rebeca models
• Model Checking Software
• Modeling and efficient verification of wireless ad hoc networks

Describes a project that uses

Uses Software

• Viptos
• Rebeca
• SymmSpin
• Spin-to-Grape
• Uppaal
• SPIN
• TinyOS
• TopSpin

This page was built for publication: Symmetry and partial order reduction techniques in model checking Rebeca

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