<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Generalization Strategies for the Verification of Infinite State Systems"^^ . "We present a comparative evaluation of some generalization\r\nstrategies which are applied by a method for the automated verification of infinite state reactive systems. The verification method is based on (1) the specialization of the constraint logic program which encodes the system with respect to the initial state and the property to be verified, and (2) a bottom-up evaluation of the specialized program. The generalization strategies are used during the program specialization phase for controlling when and how to perform generalization. Selecting a good generalization strategy is not a trivial task because it must guarantee the\r\ntermination of the specialization phase itself, and it should be a good balance between precision and performance. Indeed, a coarse generalization strategy may prevent one to prove the properties of interest, while an unnecessarily precise strategy may lead to high verification times. We\r\nperform an experimental evaluation of various generalization strategies on several infinite state systems and properties to be verified."^^ . "598" . . "CEUR Workshop Proceedings"^^ . . . . . . . . . . . . . . . . . "Fabio"^^ . "Fioravanti"^^ . "Fabio Fioravanti"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . . . . "HTML Summary of #1361 \n\nGeneralization Strategies for the Verification of Infinite State Systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .