Alloy Analyzer+PVS in the analysis and verification of Alloy specifications

This article contains two main contributions. On the theoretical side, it presents a novel complete proof calculus for Alloy. On the applied side we present Dynamite, a tool that combines the semiautomatic theorem prover PVS with the Alloy Analyzer. Dynamite allows one to prove an Alloy assertion fr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Frias, M.F., Lopez Pombo, C.G., Moscato, M.M.
Formato: SER
Materias:
Alloy Analyzer
Automated analysis
Interoperating networks
Semiautomatic theorem
Alloy analyzers
Analysis and verifications
Proof calculus
Theorem provers
Alloys
Computer aided software engineering
Interoperability
Specifications
Verification
Calculations
Complex networks
Software prototyping
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v4424LNCS_n_p587_Frias
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares