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