Towards the verification of RAISE specifications through Model Checking

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 beca...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Perna, Juan Ignacio, George, Chris W.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
model checking
RAISE
formal methods
verification techniques
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20778
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-20778
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
model checking
RAISE
formal methods
verification techniques
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
model checking
RAISE
formal methods
verification techniques
Perna, Juan Ignacio
George, Chris W.
Towards the verification of RAISE specifications through Model Checking
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
model checking
RAISE
formal methods
verification techniques
description 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.
format Objeto de conferencia
Objeto de conferencia
author Perna, Juan Ignacio
George, Chris W.
author_facet Perna, Juan Ignacio
George, Chris W.
author_sort Perna, Juan Ignacio
title Towards the verification of RAISE specifications through Model Checking
title_short Towards the verification of RAISE specifications through Model Checking
title_full Towards the verification of RAISE specifications through Model Checking
title_fullStr Towards the verification of RAISE specifications through Model Checking
title_full_unstemmed Towards the verification of RAISE specifications through Model Checking
title_sort towards the verification of raise specifications through model checking
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/20778
work_keys_str_mv AT pernajuanignacio towardstheverificationofraisespecificationsthroughmodelchecking
AT georgechrisw towardstheverificationofraisespecificationsthroughmodelchecking
bdutipo_str Repositorios
_version_ 1764820464890281984

Ejemplares similares