scientific article; zbMATH DE number 2086611

MaRDI QIDQ4737145zbMATH OpenFDO

Authors Manuel Hermenegildo, Germán Puebla, F. Bueno, P. López-García

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800069.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1975609
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• scientific article; zbMATH DE number 1368925
• scientific article; zbMATH DE number 2090844
• Logical approximation for program analysis

Cited in

(9)

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Mathematical programming based debugging
• Program analysis using quantifier-elimination heuristics (extended abstract)
• A formal semantics for program debugging
• scientific article; zbMATH DE number 1975609 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)
• scientific article; zbMATH DE number 2090844 (Why is no real title available?)
• Assertion based inductive verification methods for logic programs
• Method for detecting exceptions in Windows applications

This page was built for publication:

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