Decentralized Stream Runtime Verification for Timed Asynchronous Networks.
Luis Miguel DanielssonCésar SánchezPublished in: IEEE Access (2023)
Keyphrases
- data streams
- real time
- structured peer to peer
- asynchronous circuits
- cooperative
- petri net
- social networks
- model checking
- peer to peer
- complex networks
- signature verification
- discrete event
- network design
- distributed systems
- multi agent
- network structure
- temporal logic
- network analysis
- complex systems
- heterogeneous networks
- formal methods
- stream data
- sliding window
- verification method
- colored petri nets
- data sets