Detalle del congreso

Autores: Cristiá, Maximiliano; Frydman, Claudia.

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.

Tipo de reunión: Workshop.

Tipo de trabajo: Artículo Completo.

Producción: A Functional Verification of a Web Voting System.

Reunión científica: Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop (FMCICA 2014).

Lugar: Guimaraes.

Publicado: Sí

Lugar publicación: Guimaraes

Mes de reunión: 6

Año: 2014.

Página web: aquí