An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata

Neda Saeedloei; Feliks Kluźniak

An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata

Neda Saeedloei Towson University
Feliks Kluźniak RelationalAI

Abstract

We present a new clock allocation algorithm for a fairly general class of timed automata. The algorithm is customized to take advantage of the special properties of automata in this class, and is therefore efficient.

Keywords: Formal methods, Model Checking, Semantics

Springer

Published

2022-12-06

How to Cite

Select a Format

ABNT
ACM
APA
BibTeX
CBE
EndNote - EndNote format (Macintosh & Windows)
IEEE
MLA
ProCite - RIS format (Macintosh & Windows)
RefWorks
Reference Manager - RIS format (Windows only)
Turabian

SAEEDLOEI, Neda; KLUŹNIAK, Feliks. An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. In: BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF), 25. , 2022, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 3-21.