Symmetry and partial order reduction techniques in model checking Rebeca

DOI10.1007/s00236-009-0111-xzbMath1185.68142DBLPjournals/acta/JaghooriSMKM10OpenAlexW1997935753WikidataQ57745656 ScholiaQ57745656MaRDI QIDQ845239

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)

Related Items (1)

Modeling and efficient verification of wireless ad hoc networks

Uses Software

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

Cites Work

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

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