Controlling Polyvariance for Specialization-based Verification

DOI10.3233/FI-2013-845zbMath1268.68110OpenAlexW1846838616MaRDI QIDQ2841959

Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi, Valerio Senni

Publication date: 30 July 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-845

zbMATH Keywords

generalizationconstraint logic programmingunfold/fold transformationprogram specializationpolyvarianceverification of infinite state reactive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Anti-unification in Constraint Logic Programming ⋮ Unnamed Item

This page was built for publication: Controlling Polyvariance for Specialization-based Verification