Loading...

A front-end tool for automated abstraction and modular verification of actor-based models

Sirjani, M ; Sharif University of Technology | 2004

260 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/CSD.2004.1309125
  3. Publisher: 2004
  4. Abstract:
  5. 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
  6. Keywords:
  7. Concurrent computing ; Communication system control ; Yarn ; Topology ; State-space methods ; Computational modeling ; Appropriate technology ; Distributed computing ; Message passing ; Formal verification
  8. 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)
  9. URL: https://ieeexplore.ieee.org/abstract/document/1309125