The International Grand Challenge project on Verified Software is a long-term research program involving people from all over the world and is aimed to stimulate the creation of new theories and tools to be applied on industrial-scale problems. One of the challenges proposed is to make a formal development of a cardiac pacemaker. In this paper, we present a formal specification of this system using the Z notation and also discuss our experience in building this formal model and the decisions made during the process. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gomes, A. O., & Oliveira, M. V. M. (2009). Formal specification of a cardiac pacing system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5850 LNCS, pp. 692–707). https://doi.org/10.1007/978-3-642-05089-3_44
Mendeley helps you to discover research relevant for your work.