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

Ejemplares similares

Ejemplares similares