An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Frenkel, Hadar, Grumberg, Orna, Sheinvald, SaraiLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-018-9494-0
Date:
November, 2018
File:
PDF, 761 KB
english, 2018