Automated Verification of Quantitative Properties of Cardiac Pacemaker Software.

Marta Z. Kwiatkowska Alexandru Mereacre

Published in: MCPS (2014)

Keyphrases

automated verification
software systems
model checking
automated reasoning
formal verification
source code
software development
computer systems
software projects
software maintenance
quantitative and qualitative
myocardial infarction
cardiac motion
left ventricle
machine learning
software components
np hard