Some progress in the symbolic verification of timed automata

Some progress in the symbolic verification of timed automata

In this paper we discuss the practical difficulty of analyzing the behavior of timed automata and report some results obtained using an experimental BDD-based extension of KRONOS. We have treated examples originating from timing analysis of asynchronous boolean networks and CMOS circuits with delay...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bozga, Marius, Maler, Oded, Pnueli, Amir, Yovine, Sergio
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Asynchronous Circuit
Automata. Abstract machines. Turing machines
Computer Science
Computer science
control theory
systems
Embedded Systems
Exact sciences and technology
Reachable State
Theoretical computing
Time Automaton
Time Transition System
Timing Verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we discuss the practical difficulty of analyzing the behavior of timed automata and report some results obtained using an experimental BDD-based extension of KRONOS. We have treated examples originating from timing analysis of asynchronous boolean networks and CMOS circuits with delay uncertainties and the results outperform those obtained by previous implementations of timed automata verification tools.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-63166-6_19