Generalization Strategies for the Verification of Infinite State Systems

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: CoRR (2011)

Keyphrases

intelligent systems
formal methods
multiscale
control strategies
database
data sets
databases
information systems
multimedia
learning environment
management system
information retrieval systems
complex systems
computing systems
asynchronous circuits