Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
From MaRDI portal
Publication:5962972
DOI10.1007/S10703-015-0237-0zbMATH Open1331.68048OpenAlexW2214640391MaRDI QIDQ5962972FDOQ5962972
Authors: Sagar Chaki, Arie Gurfinkel, Ofer Strichman 
Publication date: 25 February 2016
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-015-0237-0
Recommendations
Cites Work
- Title not available (Why is that?)
- An axiomatic proof technique for parallel programs
- Tentative steps toward a development method for interfering programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Regression verification for multi-threaded programs
- Inference rules for proving the equivalence of recursive procedures
Cited In (6)
- Abstract semantic diffing of evolving concurrent programs
- Regression verification for multi-threaded programs
- Regression verification for unbalanced recursive functions
- Operationally-based program equivalence proofs using LCTRSs
- Automating regression verification of pointer programs by predicate abstraction
- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
Uses Software
This page was built for publication: Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962972)
