Abstract
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.
Author supplied keywords
Cite
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). Springer Verlag. https://doi.org/10.1007/978-3-642-36742-7_36
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
