Login / Signup
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
Hadar Frenkel
Orna Grumberg
Sarai Sheinvald
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
model checking
finite state machines
automated verification
reactive systems
finite state
model checker
temporal logic
formal verification
temporal properties
concurrent systems
transition systems
artificial intelligence
game theory
formal specification
asynchronous circuits