Formal Verification and Safety Assessment of a Hemodialysis Machine.

Shahid Khan Osman Hasan Atif Mashkoor

Published in: SOFSEM (2018)

Keyphrases

formal verification
model checking
quality assessment
model checker
automated verification
bounded model checking
symbolic model checking
program slicing
batch processing
programming language
heuristic search
temporal logic
flowshop
human resources
functional verification