Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Generalization strategies for the verification of infinite state systems. TPLP, 13(2):175-199, 2013. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Generalization Strategies for the Verification of Infinite State SystemsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. cilc 2010: [doi] Verification of Infinite-State Systems by Specialization of CLP ProgramsFabio Fioravanti. cp 2001: 762 [doi] Program Specialization for Verifying Infinite State Systems: An Experimental EvaluationFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. LOPSTR 2011: 164-183 [doi]
The following publications are possibly variants of this publication: