Parametrized Verification of Linear Networks Using Automata as Invariants.

A. Prasad Sistla

Published in: CAV (1997)

Keyphrases

social networks
model checking
face verification
network model
linear systems
computer networks
network analysis
neural network
network design
cellular automata
moment invariants
formal methods
community structure
temporal logic
linear model
finite state machines
network structure
formal verification
finite automata