| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10329691 | Electronic Notes in Theoretical Computer Science | 2005 | 14 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
M. Encarnación Beato, Manuel Barrio-Solórzano, Carlos E. Cuesta, Pablo de la Fuente,