This paper presents a formal development of a cardiac pacing system based on a Boston Scientific's model, a pilot case study from the Grand Challenge in Software Verification. We present a summary of our Z model of the system, its translation into Perfect Developer, and the code generation and execution. Further practical result and analysis are also in the context of this paper. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gomes, A. O., & Oliveira, M. V. M. (2011). Formal development of a cardiac pacemaker: From specification to code. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6527 LNCS, pp. 210–225). https://doi.org/10.1007/978-3-642-19829-8_14
Mendeley helps you to discover research relevant for your work.