Model checking RAISE applicative specifications

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Perna, Juan I., George, Chris W.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Model checking
Formal methods
Verification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22134
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22134
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
Model checking
Formal methods
Verification
spellingShingle Ciencias Informáticas
Model checking
Formal methods
Verification
Perna, Juan I.
George, Chris W.
Model checking RAISE applicative specifications
topic_facet Ciencias Informáticas
Model checking
Formal methods
Verification
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 given the fact that specifications provide an abstraction of the problem under study, supplying a model of the system of tractable size given the state explosion problem faced by the Model Checking technique. In this paper we focus on the main issues for adding Model Checking functionalities to the RAISE specification language and present the semantic foundations of our current approach for doing so. An outline of the main problems faced in the process and of the solutions to solve them are also presented.
format Objeto de conferencia
Objeto de conferencia
author Perna, Juan I.
George, Chris W.
author_facet Perna, Juan I.
George, Chris W.
author_sort Perna, Juan I.
title Model checking RAISE applicative specifications
title_short Model checking RAISE applicative specifications
title_full Model checking RAISE applicative specifications
title_fullStr Model checking RAISE applicative specifications
title_full_unstemmed Model checking RAISE applicative specifications
title_sort model checking raise applicative specifications
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22134
work_keys_str_mv AT pernajuani modelcheckingraiseapplicativespecifications
AT georgechrisw modelcheckingraiseapplicativespecifications
bdutipo_str Repositorios
_version_ 1764820465585487875

Ejemplares similares