Login / Signup
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.
Bin Yu
Cong Tian
Xu Lu
Nan Zhang
Zhenhua Duan
Published in:
IEEE Trans. Parallel Distributed Syst. (2023)
Keyphrases
</>
temporal properties
model checking
formal methods
distributed systems
temporal logic
formal specification
cooperative
neural network
multi agent
peer to peer
distributed environment
knowledge base
computational intelligence
software development
mobile agents