Automatic verification of programs: algorithm ALICE
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96780
Tipus de documentReport de recerca
Data publicació1996-06
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
This paper aims to introduce a method for verification of programs,
which is fully automatic. This method consists in an
algorithm called ALICE which, given a
program and an algebraic specification, answers if the program is
correct w.r.t. the algebraic specification. No user intervention is needed
(except, of course, the writing of the program and the specification).
The paper also proves that the problem of determining the
correctness of a program w.r.t. an algebraic specification is
undecidable (even if only partial correctness is required).
CitacióPalasi, V. "Automatic verification of programs: algorithm ALICE". 1996.
Forma partLSI-96-34-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400226285.pdf | 2,174Mb | Visualitza/Obre |