C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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