Login / Signup
Formal Verification of a Mechanical Ventilator using UPPAAL.
Jaime Cuartas
David Cortés
Joan S. Betancourt
Jesús Aranda
José I. García
Andrés M. Valencia
James Ortiz
Published in:
FTSCS (2023)
Keyphrases
</>
formal verification
model checking
model checker
temporal logic
timed automata
symbolic model checking
automated verification
bounded model checking
formal specification
program slicing
mechanical design
test set
orders of magnitude
formal methods