Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
A Toolset for Supporting UML Static and Dynamic Model Checking
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
vUML: a Tool for Verifying UML Models
vUML: a Tool for Verifying UML Models
Applying UML and software simulation for process definition, verification, and validation
Information and Software Technology
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Towards checking parametric reachability for UML state machines
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A New Approach to Model Checking of UML State Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model-Based static code analysis for MATLAB models
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
USMMC: a self-contained model checker for UML state machines
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A formal verification framework for SysML activity diagrams
Expert Systems with Applications: An International Journal
Hi-index | 0.01 |
The use of the UML specification language is very widespread due to some of its features. However, the ever more complex systems of today require modeling methods that allow errors to be detected in the initial phases of development. The use of formal methods make such error detection possible but the learning cost is high. This paper presents a tool which avoids this learning cost, enabling the active behavior of a system expressed in UML to be verified in a completely automatic way by means of formal method techniques. It incorporates an assistant for the verification that acts as a user guide for writing properties so that she/he needs no knowledge of either temporal logic or the form of the specification obtained.