Integrating Cadence SMV in the Verification of UML Software
Sara Van Langenhove, Albert Hoogewijs · Ghent University Academic Bibliography (Ghent University) · 2004
The Unified Modeling Language has been widely used in software development. Verifying that a UML model meets the required properties has become a key issue. The verification gives us the opportunity to remove errors, inconsistencies, and misconceptions in the very early stages of software development. Model checking is an important technology of automatic formal verification to ensure the correctness of design specifications. The discussion mainly focuses on the use of Cadence SMV in the design of software systems in UML. In this paper, we present a translation template for UML state charts and for UML protocol conformance into CSMV. 1