Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.

June-Kyung Rho Fabio Somenzi

Published in: CAV (1993)

Keyphrases

model checking
computer networks
formal methods
management system
building blocks
asynchronous circuits
information retrieval
artificial intelligence
web services
expert systems
knowledge based systems
complex systems
affine invariant
network services
automated verification