Actor-based slicing techniques for efficient reduction of Rebeca models

DOI10.1016/j.scico.2010.02.003zbMath1214.68223OpenAlexW2026806379MaRDI QIDQ988163

Marjan Sirjani, Hamideh Sabouri

Publication date: 26 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.003

zbMATH Keywords

verificationreductionmodel checkingslicingactor-based languagesRebeca

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Lazy slicing for state-space exploration ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Actor-based slicing techniques for efficient reduction of Rebeca models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Actor-based slicing techniques for efficient reduction of Rebeca models
• Slicing software for model construction
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
• The program dependence graph and its use in optimization
• Formal Verification of Simulation Traces Using Computation Slicing
• From μCRL to mCRL2
• Slicing Petri Nets with an Application to Workflow Verification

This page was built for publication: Actor-based slicing techniques for efficient reduction of Rebeca models