Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.

Byron Cook Heidy Khlaaf Nir Piterman

Published in: J. ACM (2017)

Keyphrases

temporal logic
model checking
modal logic
formal methods
verification method
expert systems
cellular automata
finite state
reactive systems
concurrent systems