Specialization with constrained generalization for software model checking

DOI10.1007/978-3-642-38197-3_5zbMATH Open1394.68072OpenAlexW2226282123MaRDI QIDQ2848896FDOQ2848896

Authors: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti 

Publication date: 13 September 2013

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38197-3_5

Recommendations

• Software model checking by program specialization
• Program specialization for verifying infinite state systems: an experimental evaluation
• scientific article; zbMATH DE number 1956554
• Generalization strategies for the verification of infinite state systems
• Verification of imperative programs by constraint logic program transformation

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• From Software Specifications to Constraint Programming
• Software model checking by program specialization
• Title not available (Why is that?)

Uses Software

• ARMC
• TRACER
• SIMP
• HSF

This page was built for publication: Specialization with constrained generalization for software model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848896)