Sciweavers

KBSE
2008
IEEE

MTSA: The Modal Transition System Analyser

13 years 10 months ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge. In this paper, we present MTSA a tool that supports the construction, analysis and elaboration of Modal Transition Systems (MTS).
Nicolás D'Ippolito, Dario Fischbein, Marsha
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where KBSE
Authors Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
Comments (0)