Compositional analysis for verification of parameterized systems.

Samik Basu C. R. Ramakrishnan

Published in: Theor. Comput. Sci. (2006)

Keyphrases

information retrieval
management system
distributed systems
statistical analysis
learning systems
quantitative analysis
information systems
decision making
natural language
expert systems
mobile robot
formal analysis
automated verification