Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Controlling polyvariance for specialization-based verification. (English) Zbl 1268.68110 Fundam. Inform. 124, No. 4, 483-502 (2013). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 124, No. 4, 483--502 (2013; Zbl 1268.68110) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Generalization strategies for the verification of infinite state systems. (English) Zbl 1267.68080 Theory Pract. Log. Program. 13, No. 2, 175-199 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Theory Pract. Log. Program. 13, No. 2, 175--199 (2013; Zbl 1267.68080) Full Text: DOI arXiv