Automated theorem proving for the systematic analysis of an infusion pump

This paper describes the use of an automated theorem prover to analyse properties of interactive behaviour. It offers an alternative to model checking for the analysis of interactive systems. There are situations, for example when demonstrating safety, in which alternative complementary analyses pro...

Full description

Bibliographic Details
Main Author: Harrison, Michael douglas (author)
Other Authors: Masci, P. (author), Campos, José C. (author), Curzon, P. (author)
Format: article
Language:eng
Published: 2013
Subjects:
Formal verification
Interactive systems
MAL
Medical devices
Model checking
PVS
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/1822/66929
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/66929

Internet

http://hdl.handle.net/1822/66929

Similar Items