Login / Signup
Adaptively parallel runtime verification based on distributed network for temporal properties.
Bin Yu
Xu Lu
Cong Tian
Meng Wang
Chu Chen
Ming Lei
Zhenhua Duan
Published in:
Parallel Comput. (2023)
Keyphrases
</>
temporal properties
distributed network
model checking
formal methods
temporal logic
formal specification
network latency
bandwidth usage
possibility theory
sensor placement
shared memory
software engineering
genetic algorithm
bayesian networks
artificial neural networks
parallel computing