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...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 24; no. 6; pp. 1025 - 1042
Main Authors:	Kiviriga, Andrej, Larsen, Kim Guldstrand, Nyman, Ulrik
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!