The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

Formal methods have emerged as a complementary approach to ensuring quality and
correctness of high-confidence medical systems, overcoming limitations of traditional …

Formal methods have emerged as an alternative approach to ensuring quality and
correctness of highly critical systems, overcoming limitations of traditional validation …

Medical devices are nowadays more and more software dependent, and software
malfunctioning can lead to injuries or death for patients. Several standards have been …

Objective Software-based devices have increasingly become an important part of several
clinical scenarios. Due to their critical impact on human life, medical devices have very strict …

With software playing an increasingly important role in medical devices, regulatory agencies
such as the US Food and Drug Administration need effective means for assuring that this …

Embedded Systems Design - E... Page 1 A Formal Methods-based verification approach to
medical device software analysis By Paul Jones, Raoul Jetley, and Jay Abraham Embedded.com …

Formal methods play an important role in the development of software and hardware
systems. In recent years, there has been a growing interest to apply these methods in the …

The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the
4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010 …

Advanced medical devices exploit the advantages of embedded software whose
development is subject to compliance with stringent requirements of standardization and …