Specialization with constrained generalization for software model checking

DOI10.1007/978-3-642-38197-3_5MaRDI QIDQ2848896zbMATH OpenOpenAlexFDO

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

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)

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

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
• scientific article; zbMATH DE number 1956554 (Why is no real title available?)

Describes a project that uses

Uses Software

• HSF
• SIMP
• TRACER
• ARMC

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)