N. D'Ippolito, H.Foster and S.Uchitel, MTSA: The Modal Transition System Analyser Eclipse Plugin, ETX2007 Workshop at OOPSLA07, Montreal, Canada, October 2007.
Abstract
|
Preview
|
|
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.
|
Links
Further details will be added for related links and this publication.
|
Tools
Further details will be added for related tools and this publication.
|
|
Â
|
