Parameterized Verification of Linear Networks using Automata as Invariants.
A. Prasad SistlaViktor GyurisPublished in: Formal Aspects Comput. (1999)
Keyphrases
- network structure
- cellular automata
- computer networks
- genetic algorithm
- social networks
- neural network
- asynchronous circuits
- complex networks
- finite state
- network design
- heterogeneous networks
- formal verification
- verification method
- differential operators
- network size
- network analysis
- regular expressions
- model checking
- hidden markov models