%0 Electronic Chapter %T Formal verification %K formal verification %K system quality characteristics %K design flaws %B Engineering High Quality Medical Software: Regulations, standards, methodologies and tools for certification %D 2018 %I Institution of Engineering and Technology %P 137-146 %R doi:10.1049/PBHE012E_ch11 %S Healthcare Technologies %U https://digital-library.theiet.org/;jsessionid=92jtfp3m274rs.x-iet-live-01content/books/10.1049/pbhe012e_ch11