Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.

Meng Wang Cong Tian Nan Zhang Zhenhua Duan

Published in: IEEE Trans. Reliab. (2019)

Keyphrases

program execution
temporal properties
model checking
multi processor
dynamic environments
temporal logic
neural network
formal methods
machine learning
genetic algorithm
artificial intelligence
random variables