RAVEN: Real-Time Analyzing and Verification Environment

Autor:	Ruf, Jürgen
Rok vydání:	2001
Předmět:	real-time systems analysis formal verification model checking
Zdroj:	JUCS-Journal of Universal Computer Science 7(1): 89-104
DOI:	10.3217/jucs-007-01-0089
Popis:	In this paper we present the real-time verification and analysis tool RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates a real-time model checker for real-time specifications, it offers algorithms for analyzing critical delay times, for inspecting data values and event occurrences and for detecting dead_locks and live-locks. The counter example generator provides helpful information for error recovering by printing system execution paths (failing a given specification) to the integrated wave_form browser. All included algorithms are based on a common data structure enabling a compact representation and possibilities for acceleration. By some examples we show that our approach outperforms some state-of-the-art verification tools.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a3fc1cf13b8b4f49ba6d242922586ab Zobrazit plný text záznamu