SVISS: Symbolic Verification of Symmetric Systems.

Thomas Wahl Nicolas Blanc E. Allen Emerson

Published in: TACAS (2008)

Keyphrases

formal methods
databases
neural network
social networks
management system
learning systems
database
artificial intelligence
metadata
image processing
multimedia
multi agent systems
complex systems
symbolic representation
formal verification
connectionist systems