Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

AC
2003
Springer

favoriteEmaildiscussreport

96views Software Engineering» more AC 2003»

Timed Automata: Semantics, Algorithms and Tools

13 years 9 months ago

Timed Automata: Semantics, Algorithms and Tools

Download www.cis.upenn.edu

This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of veriﬁcation tools. We present the concrete and abstract semantics of timed automata (based on transition rules, regions and zones), decision problems, and algorithms for veriﬁcation. A detailed description on DBM (Difference Bound Matrices) is included, which is the central data structure behind several veriﬁca

Johan Bengtsson, Wang Yi

Real-time Traffic

AC 2003 | Central Data Structure | Difference Bound Matrices | Software Engineering | Timed Automata |

claim paper

Related Content

» Partial Order Reduction for Verification of RealTime Components

» Improvements in BDDBased Reachability Analysis of Timed Automata

» Systematic Implementation of RealTime Models

» Timing analysis of asynchronous circuits using timed automata

» Parallel Processes with RealTime and Data The ATLANTIF Intermediate Format

» Quantitative ModelChecking of OneClock Timed Automata under Probabilistic Semantics

» Robust Analysis of Timed Automata via Channel Machines

» Robust safety of timed automata

» Romeo A Tool for Analyzing Time Petri Nets

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	AC
Authors	Johan Bengtsson, Wang Yi

Comments (0)