Verification of Parameterized Systems by Dynamic Induction on Diagrams.

Zohar Manna Henny Sipma

Published in: CAV (1999)

Keyphrases

building blocks
expert systems
management system
knowledge based systems
information retrieval systems
changing environment
database
information retrieval
social networks
website
case study
relational databases
dynamic environments
retrieval systems