CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
A Functional Verification of a Web Voting System
Autor/es:
CRISTIÁ, MAXIMILIANO; FRYDMAN, CLAUDIA
Lugar:
Guimaraes
Reunión:
Workshop; Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop (FMCICA 2014); 2014
Resumen:
The Consejo Nacional de Investigaciones Científicas y Técni-cas (CONICET) is the most important research institution in Argentina. Its internal authorities are elected by around 8,000 researches across the country. During 2011 the CONICET developed a web voting system to replace the traditional mail-based system. In this paper we present the verification process conducted to assess the functional correctness of the voting system. This process is the result of integrating automatic and semi-automatic verification activities from formal proof to code inspection and model-based testing.
