research
∙
06/07/2022
Timed automata as a formalism for expressing security: A survey on theory and practice
Timed automata are a common formalism for the verification of concurrent...
share
research
∙
03/24/2022
Zone extrapolations in parametric timed automata
Timed automata (TAs) are an efficient formalism to model and verify syst...
research
∙
11/18/2019
