loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
ASCII Text
x 
 
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar, "A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models," Application of Concurrency to System Design, International Conference on, pp. 145, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309125,
author = {Marjan Sirjani and Amin Shali and Mohammad Mahdi Jaghoori and Hamed Iravanchi and Ali Movaghar},
title = {A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {145},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309125},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
SN - 0-7695-2077-4
SP
EP
A1 - Marjan Sirjani,
A1 - Amin Shali,
A1 - Mohammad Mahdi Jaghoori,
A1 - Hamed Iravanchi,
A1 - Ali Movaghar,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Marjan Sirjani, Sharif University of Technology, Tehran, Iran; Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
Amin Shali, Tehran University, Iran
Mohammad Mahdi Jaghoori, Tehran University, Iran
Hamed Iravanchi, Tehran University, Iran
Ali Movaghar, Sharif University of Technology, Tehran, Iran
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.
Citation:
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar, "A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models," acsd, pp.145, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.