UML Automatic Verification Tool with Formal Methods | Zendy

María Encarnación Beato Gutiérrez | Zendy; Manuel Barrio-Solórzano | Zendy; Carlos E. Cuesta | Zendy; Pablo de la Fuente | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

UML Automatic Verification Tool with Formal Methods

Author(s) -

María Encarnación Beato Gutiérrez,

Manuel Barrio-Solórzano,

Carlos E. Cuesta,

Pablo de la Fuente

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.10.024

Subject(s) - computer science , unified modeling language , formal methods , programming language , applications of uml , formal specification , uml tool , software engineering , formal verification , object constraint language , software

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research