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í