Parameterized Verification of Coverability in Infinite State Broadcast Networks.

A. R. Balasubramanian

Published in: CoRR (2023)

Keyphrases

databases
network structure
network analysis
model checking
complex systems
complex networks
formal verification
face verification
data broadcasting
digital television
data dissemination
signature verification
heterogeneous networks
network model
computer networks
multi agent
data mining