Improving Reachability Analysis of Infinite State Systems by Specialization

DOI10.3233/FI-2012-738zbMath1279.68209OpenAlexW2180284319MaRDI QIDQ5894983

Fabio Fioravanti, Alberto Pettorossi, Valerio Senni, Maurizio Proietti

Publication date: 29 October 2012

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

Full work available at URL: https://doi.org/10.3233/fi-2012-738

zbMATH Keywords

program transformationreachability analysisautomatic verificationconstraint logic programming

Mathematics Subject Classification ID

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

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

This page was built for publication: Improving Reachability Analysis of Infinite State Systems by Specialization