Sign in
Formal Verification of Medical CPS: A Laser Incision Case Study.
Andre A. Geraldes
Luca Geretti
Davide Bresolin
Riccardo Muradore
Paolo Fiorini
Leonardo S. Mattos
Tiziano Villa
Published in:
ACM Trans. Cyber Phys. Syst. (2018)
Keyphrases
</>
formal verification
case study
model checking
automated verification
bounded model checking
model checker
symbolic model checking
medical domain
program slicing
medical information
medical experts
medical diagnosis
medical imaging
medical data
temporal logic
multi agent systems
artificial intelligence
real world