A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span>

This paper presents a systematic review on possible applications of the <span style="font-variant: small-caps;">Uppaal</span> tool. This tool, an integrated environment for the modeling, validation, and verification of real-time systems modeled as networks of timed automata, is currently used in var...

Descrizione completa

Dettagli Bibliografici

Autori principali:	Iwona Grobelna, Krystian Gajewski, Andrei Karatkevich
Natura:	Artigo
Lingua:	Inglês
Pubblicazione:	MDPI AG 2025-05-01
Serie:	Sensors
Soggetti:	control systems formal verification model checking modeling and verification Uppaal
Accesso online:	https://www.mdpi.com/1424-8220/25/11/3484
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!