1. Inicio
  2. Atrás
Título: Towards the verification of RAISE specifications through Model Checking
Autores: Perna, Juan Ignacio
George, Chris W.
Fecha: 2012-09-11
2006-06
2006
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: model checking
RAISE
formal methods
verification techniques
SOFTWARE ENGINEERING
Ciencias Informáticas
base de datos
Descripción: Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages has been reinforced in the last decades because the specifications themselves provide an abstraction of the problem under study (whether created by abstraction from the software or by hand) and the properties validated at the specification level can be warrantied to be preserved until implementation. In this paper we focus on the main issues for adding Model Checking functionalities to the RAISE specification language and present the most important characteristics of our current approach for doing so. An outline of the main issues and problems faced in the process and possible ways to solve them are also presented.
Eje: Ingeniería de software y base de datos
Idioma: Inglés