Software model checking by program specialization

DOI10.4230/LIPICS.ICLP.2012.439MaRDI QIDQ5398085zbMATH OpenOpenAlexFDO

Authors Emanuele De Angelis

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPIcs.ICLP.2012.439

zbMATH Keywords

constraint logic programmingprogram specializationsoftware model checking

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Specialization with constrained generalization for software model checking
• scientific article; zbMATH DE number 1953015
• Software model checking
• Slicing software for model construction
• Program specialization for verifying infinite state systems: an experimental evaluation

Cited in

(10)

• Inferring safe Maude programs with ÁTAME
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Controlling polyvariance for specialization-based verification
• Specialization with constrained generalization for software model checking
• Programmable verifiers in imperative programming
• scientific article; zbMATH DE number 5636822 (Why is no real title available?)
• scientific article; zbMATH DE number 1956554 (Why is no real title available?)
• scientific article; zbMATH DE number 1905113 (Why is no real title available?)
• Automatic result verification by complete run-time checking of computations
• Proving program properties as first-order satisfiability

Describes a project that uses

Uses Software

• ARMC
• TRACER

This page was built for publication: Software model checking by program specialization

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