Actor-based slicing techniques for efficient reduction of Rebeca models
From MaRDI portal
Publication:988163
DOI10.1016/j.scico.2010.02.003zbMath1214.68223MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Actor-based slicing techniques for efficient reduction of Rebeca models, Modeling and efficient verification of wireless ad hoc networks, Lazy slicing for state-space exploration
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