Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Abstract Formal methods are proven techniques that provide a rigorous mathematical basis to software development. In particular, they allow the quality of development to be effectively improved by making accurate and explicit modelling, so that anomalies like ambiguities and incompleteness are ident...

Full description

Bibliographic Details
Main Authors: Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot
Format: Article
Language:English
Published: Hindawi-IET 2023-08-01
Series:IET Software
Subjects:
formal specification
formal verification
health care
software engineering
software reliability
unified modelling language
Online Access:https://doi.org/10.1049/sfw2.12128

Similar Items

Similar Items