Randomized reachability analysis in UPPAAL: fast error detection in timed systems

Randomized reachability analysis is an efficient method for detection of safety violations. Due to the under-approximate nature of the method, it excels at quick falsification of models and can greatly improve the model-based development process: using lightweight randomized methods early in the dev...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 24; číslo 6; s. 1025 - 1042
Hlavní autoři:	Kiviriga, Andrej, Larsen, Kim Guldstrand, Nyman, Ulrik
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Témata:	Case studies Computer Science Error analysis Error correction & detection Error detection Explosions Methods Scheduling Software Software Engineering Software Engineering/Programming and Operating Systems Statistical models Stopwatches Theory of Computation Violations State space explosion Schedulability analysis Stopwatch automata Randomized Timed automata Model-checking
ISSN:	1433-2779, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!