Strengthening induction-based race checking with lightweight static analysis

DOI10.1007/978-3-642-18275-4_13MaRDI QIDQ3075479zbMATH OpenOpenAlexFDO

Authors Alastair Donaldson, Leopold Haller, Daniel Kroening

Publication date 15 February 2011

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-18275-4_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic analysis of DMA races using model checking and k-induction
• scientific article; zbMATH DE number 6712238
• Static analysis for detecting high-level races in RTOS kernels
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Checking data-race freedom of GPU kernels, compositionally

Cites work

• Automatic analysis of DMA races using model checking and k-induction
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Property-directed incremental invariant generation
• Systematic design of program transformation frameworks by abstract interpretation
• Temporal induction by incremental SAT solving
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• SAT-Based Model Checking
• Automatic analysis of DMA races using model checking and k-induction

Describes a project that uses

Uses Software

• MiniSat
• SCRATCH
• Eraser
• RacerX

This page was built for publication: Strengthening induction-based race checking with lightweight static analysis

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