Automated theorem proving for the systematic analysis of an infusion pump
Automated theorem proving for the systematic analysis of an infusion pump
M. Harrison,P. Masci,J. C. Campos,P. Curzon
2013 · DOI: 10.14279/tuj.eceasst.69.962
Electronic Communication of The European Association of Software Science and Technology · 3 Citações
TLDR
The paper illustrates how a theory generated as a basis for theorem proving was developed systematically from a MAL model used to model check the same properties, and shows how the CTL properties used to check the original model can be translated into theorems.