On Automation of CTL* Verification for Infinite-State Systems.

Byron Cook Heidy Khlaaf Nir Piterman

Published in: CAV (1) (2015)

Keyphrases

model checking
computer vision
expert systems
management system
formal methods
databases
information systems
belief revision
autonomic computing
multimodal biometrics
industrial automation