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

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. 145-150 2004 conf/acsd/2004 ACSD http://csdl.computer.org/comp/proceedings/acsd/2004/2077/00/20770145abs.htm db/conf/acsd/acsd2004.html#SirjaniSJIM04