Skip to Main content Skip to Navigation
Conference papers

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 cus-tomised 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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : François Pessaux <>
Submitted on : Friday, December 11, 2015 - 1:59:15 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
Document(s) archivé(s) le : Saturday, April 29, 2017 - 11:15:51 AM


Files produced by the author(s)



Philippe Ayrault, Thérèse Hardin, François Pessaux. Development of a Generic Voter under FoCal. TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩. ⟨hal-01241361⟩



Record views


Files downloads