Configurable verification of timed automata with discrete variables
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00393-4
Abstract: Algorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this… read more here.
Keywords: contain discrete; timed automata; refinement strategies; framework ... See more keywords