Regression Verification for Multi-threaded Programs

DOI10.1007/978-3-642-27940-9_9zbMath1325.68060OpenAlexW203808516MaRDI QIDQ2891406

Arie Gurfinkel, Sagar Chaki, 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

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

Related Items (6)

Algorithmic games for full ground references ⋮ Program equivalence by circular reasoning ⋮ Predicate Pairing for program verification ⋮ A language-independent proof system for full program equivalence ⋮ Linear Quantifier Elimination as an Abstract Decision Procedure ⋮ Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

Uses Software

• Threader

Cites Work

• Unnamed Item
• Inference rules for proving the equivalence of recursive procedures
• An axiomatic proof technique for parallel programs
• Tentative steps toward a development method for interfering programs

This page was built for publication: Regression Verification for Multi-threaded Programs