Full regular temporal property verification as dynamic program execution.

Meng Wang Cong Tian Zhenhua Duan

Published in: ICSE (Companion Volume) (2017)

Keyphrases

program execution
spatio temporal
dynamic environments
temporal behavior
multi processor
artificial intelligence
model checking
temporal information
temporal patterns
temporal databases
dynamic textures
java virtual machine