Paper Info
Title
RAVEN: Real-Time Analyzing and Verification Environment
Abstract
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.
Year
Venue
Keywords
2001
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
formal verification,model checking,analysis,real-time systems
Field
DocType
Volume
Data structure,Model checking,Programming language,Abstraction,Software engineering,Computer science,Acceleration,Counterexample
Journal
7
Issue
ISSN
Citations 
1
0948-695X
16
PageRank 
References 
Authors
1.22
19
1
Name
Order
Citations
PageRank
Jürgen Ruf112223.04