C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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