Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
Farid ArfiAnne-Lise CourbisThomas LambolaisFrançois BughinMaurice HayotPublished in: IET Softw. (2023)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- temporal logic
- automated verification
- symbolic model checking
- timed automata
- program slicing
- high level
- formal specification
- binary decision diagrams
- data abstraction
- refinement process
- query refinement
- formal methods
- description language
- model based diagnosis