@inproceedings{16a9354e0f044d3aa8778e3a78da72d0,
title = "Development of a generic voter under focal",
abstract = "Safety and security are claimed major concerns by the formal FoCal development environment. In [7] we introduced a safety development cycle customised to FoCal. In this paper, we examine how to specify and implement a concrete example following this cycle. We show that indeed it is feasible and we present how FoCal features fit with software best practises like modularity, reuse, fault confinement and maintenance.",
keywords = "Development cycle, FoCal, Formal methods, Voter",
author = "Philippe Ayrault and Th{\'e}r{\`e}se Hardin and Fran{\c c}ois Pessaux",
year = "2009",
month = nov,
day = "2",
doi = "10.1007/978-3-642-02949-3\_3",
language = "English",
isbn = "3642029485",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "10--26",
booktitle = "Tests and Proofs - Third International Conference, TAP 2009, Proceedings",
note = "3rd International Conference on Tests and Proofs, TAP 2009 ; Conference date: 02-07-2009 Through 03-07-2009",
}