MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
N D'Ippolito, D Fishbein, H Foster… - Proceedings of the 2007 …, 2007 - dl.acm.org
N D'Ippolito, D Fishbein, H Foster, S Uchitel
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 2007•dl.acm.orgIn this paper we detail the design and implementation of an Eclipse plug-in that supports
construction, analysis and elaboration of Modal Transition Systems. The plug-in supports
construction of MTS using FSP process algebra and synthetising from scenarios and FLTL
safety properties. These models could be animated and model checked. The MTSA-Eclipse
plug-in is publicly available at: http://lafhis. dc. uba. ar/suchitel/MTSA. html.
construction, analysis and elaboration of Modal Transition Systems. The plug-in supports
construction of MTS using FSP process algebra and synthetising from scenarios and FLTL
safety properties. These models could be animated and model checked. The MTSA-Eclipse
plug-in is publicly available at: http://lafhis. dc. uba. ar/suchitel/MTSA. html.
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports construction of MTS using FSP process algebra and synthetising from scenarios and FLTL safety properties. These models could be animated and model checked. The MTSA-Eclipse plug-in is publicly available at: http://lafhis.dc.uba.ar/suchitel/MTSA.html.
ACM Digital Library以上显示的是最相近的搜索结果。 查看全部搜索结果