A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

Hamilton, Ontario, Canada June 16-June 18

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309125

Fourth International Conference on Ap ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marjan Sirjani Articles by Amin Shali Articles by Mohammad Mahdi Jaghoori Articles by Hamed Iravanchi Articles by Ali Movaghar

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.