Model Checking Dynamic and Hierarchical UML State Machines
暂无分享,去创建一个
Ivan Porres | Timo Latvala | Tommi A. Junttila | Tommi Junttila | Jori Dubrovin | Toni Jussila | Jori Dubrovin | Ivan Porres | T. Latvala | Toni Jussila
[1] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[2] Bernd Westphal,et al. The Rhapsody UML Verification Environment , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[3] Diego Latella,et al. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.
[4] Stephan Merz,et al. Model Checking and Code Generation for UML State Machines and Collaborations , 2002 .
[5] Angelo Gargantini,et al. Using Spin to Generate Testsfrom ASM Specifications , 2003, Abstract State Machines.
[6] Erich Mikk,et al. Semantics and verification of statecharts , 2000 .
[7] Ivan Porres. Modeling and Analyzing Software Behavior in UML , 1910 .
[8] Iulian Ober,et al. Validation of UML Models via a Mapping to Communicating Extended Timed Automata , 2004, SPIN.
[9] Ivan Porres,et al. Coral : A Metamodel Kernel for Transformation Engines , 2004 .