Loading...
A front-end tool for automated abstraction and modular verification of actor-based models
Sirjani, M ; Sharif University of Technology | 2004
260
Viewed
- Type of Document: Article
- DOI: 10.1109/CSD.2004.1309125
- Publisher: 2004
- Abstract:
- Actor-based modeling is known to be an appropriate approach for representing concurrent and distributed systems. Rebeca is an actor-based language with a formal foundation, based on an operational interpretation of the actor model. We develop a front-end tool for translating a subset of Rebeca to SMV in order to model check Rebeca models. Automated modular verification and abstraction techniques are supported by the tool
- Keywords:
- Concurrent computing ; Communication system control ; Yarn ; Topology ; State-space methods ; Computational modeling ; Appropriate technology ; Distributed computing ; Message passing ; Formal verification
- Source: Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004, Hamilton, Ont., 16 June 2004 through 18 June 2004 ; 2004 , Pages 145-148 ; 0769520774 (ISBN); 9780769520773 (ISBN)
- URL: https://ieeexplore.ieee.org/abstract/document/1309125