An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-9494-0
Abstract: Data-parameterized systems model systems with finite control over an infinite data domain. VLTL is an extension of LTL that uses variables in order to specify properties of computations over infinite data, and as such, VLTL is… read more here.
Keywords: data domains; theoretic approach; model; model checking ... See more keywords