𝔖 Bobbio Scriptorium

✦ LIBER ✦

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods

✍ Scribed by Li, Chunxiao; Raghunathan, Anand; Jha, Niraj K.

Book ID: 121195190
Publisher: Institute of Electrical and Electronics Engineers
Year: 2013
Tongue: English
Weight: 636 KB
Volume: 5
Category: Article
ISSN: 1943-0663
DOI: 10.1109/LES.2013.2276434

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of software-based me

Formal verification of software-based medical devices considering medical guidelines

✍ Zamira Daw, Rance Cleaveland, Marcus Vetter 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 683 KB

Software Engineering with Formal Methods

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods

✍ Jan Tretmans; Klaas Wijbrans; Michel Chaudron 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 646 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || A New Look at Formal Methods for Software Construction

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 344 KB

[IEEE Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Formal verification of requirements using SPIN: a case study on web services

✍ Kazhamiakin, R.; Pistore, M.; Roveri, M. 📂 Article 📅 2004 🏛 IEEE ⚖ 344 KB

Fun with FireWire: A Comparative Study o

Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol

✍ Mariëlle Stoelinga 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 113 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 || Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 648 KB