Equivalence Checking and Intersection of Deterministic Timed Finite State Machines.

Davide Bresolin Khaled El-Fakih Tiziano Villa Nina Yevtushenko

Published in: CoRR (2021)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
regular expressions
digital circuits
high level
verification method
timed automata
np complete
black box