Verifying temporal properties of programs: A parallel approach.

Bin Yu Zhenhua Duan Cong Tian Nan Zhang

Published in: J. Parallel Distributed Comput. (2018)

Keyphrases

temporal properties
model checking
temporal logic
formal specification
formal methods
parallel processing
high level programming language
parallel implementation
possibility theory
shared memory
machine learning
cooperative