Regression verification for multi-threaded programs

DOI10.1007/978-3-642-27940-9_9MaRDI QIDQ2891406zbMATH OpenOpenAlexFDO

Authors Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Publication date 15 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27940-9_9

Mathematics Subject Classification ID

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

Recommendations

• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
• Automating regression verification of pointer programs by predicate abstraction
• Regression verification for unbalanced recursive functions
• Proof spaces for unbounded parallelism
• Abstract threads

Cites work

• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• An axiomatic proof technique for parallel programs
• Inference rules for proving the equivalence of recursive procedures
• Tentative steps toward a development method for interfering programs

Cited in

(9)

• Abstract semantic diffing of evolving concurrent programs
• Regression verification for unbalanced recursive functions
• Predicate pairing for program verification
• Algorithmic games for full ground references
• Automating regression verification of pointer programs by predicate abstraction
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
• Program equivalence by circular reasoning
• A language-independent proof system for full program equivalence
• Linear quantifier elimination as an abstract decision procedure

Describes a project that uses

Uses Software

• Threader

This page was built for publication: Regression verification for multi-threaded programs

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