Congress detail
Authors: 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.
Meeting type: Workshop.
Type of job: Artículo Completo.
Production: A Functional Verification of a Web Voting System.
Scientific meeting: Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop (FMCICA 2014).
Meeting place: Guimaraes.
It's published?: Yes
Publication place: Guimaraes
Meeting month: 6
Year: 2014.
Link: here