Polyglot is a tool for the systematic analysis of systems integrated from components built using multiple Statechart formalisms. In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants. Polyglot is tightly integrated with the Java Pathfinder verification tool-set, providing analysis and test-case generation capabilities. The tool has been applied in the context of safety-critical software systems whose interacting components were modeled using multiple Statechart formalisms. © 2013 Springer-Verlag.
CITATION STYLE
Balasubramanian, D., Pǎsǎreanu, C. S., Karsai, G., & Lowry, M. R. (2013). Polyglot: Systematic analysis for multiple statechart formalisms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7795 LNCS, pp. 523–529). https://doi.org/10.1007/978-3-642-36742-7_36
Mendeley helps you to discover research relevant for your work.