Verification of Timed Automata Based on Similarity

• Autorzy: Dembiński P. , Penczek W. , Półrola A.
• Języki publikacji: EN

Abstrakty

EN

The paper presents a modification of the standard partitioning technique to generate abstract state spaces preserving similarity for Timed Automata. Since this relation is weaker than bisimilarity, most of the obtained models (state spaces) are smaller than bisimilar ones, but still preserve the universal fragments of branching time temporal logics. The theoretical results are exemplified for strong, delay, and observational simulation relations.

Słowa kluczowe

EN

Timed Automata; simulation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 59--89
• Opis fizyczny: bibliogr. tab., wykr., bibliogr. 15 poz.

Twórcy

autor

Dembiński P.

autor

Penczek W.

autor

Półrola A.

• Institute of Computer Science, Polish Academy of Science, Ordona 21, 01-237 Warsaw, Poland,