Symmetry and partial order reduction techniques in model checking Rebeca

DOI10.1007/S00236-009-0111-XzbMATH Open1185.68142DBLPjournals/acta/JaghooriSMKM10OpenAlexW1997935753WikidataQ57745656 ScholiaQ57745656MaRDI QIDQ845239FDOQ845239

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

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)

Cites Work

• Title not available (Why is that?)
• Dynamic partial-order reduction for model checking software
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata-Theoretic Model Checking Revisited
• Partial-order reduction in symbolic state-space exploration
• Title not available (Why is that?)
• Title not available (Why is that?)
• FM 2005: Formal Methods
• Formal Modeling and Analysis of Timed Systems
• Correct Hardware Design and Verification Methods
• Efficient Approximate Verification of Promela Models Via Symmetry Markers
• An efficient partial order reduction algorithm with an alternative proviso implementation
• Title not available (Why is that?)

Cited In (2)

• Model Checking Software
• Modeling and efficient verification of wireless ad hoc networks

Uses Software

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

   Recommendations

• Actor-based slicing techniques for efficient reduction of Rebeca models 👍 👎
• Title not available (Why is that?) 👍 👎
• Extending Symmetry Reduction by Exploiting System Architecture 👍 👎
• Employing symmetry reductions in model checking 👍 👎
• Title not available (Why is that?) 👍 👎

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)