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

  • Neda Saeedloei Towson University
  • Feliks Kluźniak RelationalAI

Resumo


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.
Palavras-chave: Formal methods, Model Checking, Semantics
Publicado
06/12/2022
Como Citar

Selecione um Formato
SAEEDLOEI, Neda; KLUŹNIAK, Feliks. An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 25. , 2022, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 3-21.