palavras-chave Fedical devices Formal verification Human error Modal action logic (MAL) Model checking PVS Performance Theorem proving medical devices
Digital Object Identifier (DOI) https://doi.org/10.1109/thms.2017.2717910 https://doi.org/10.1109/thms.2017.2717910