Strengthening Induction-Based Race Checking with Lightweight Static Analysis

DOI10.1007/978-3-642-18275-4_13zbMath1317.68113OpenAlexW4241748122MaRDI QIDQ3075479

Leopold Haller, Daniel Kroening, Alastair F. Donaldson

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)

Related Items (2)

SAT-Based Model Checking ⋮ Automatic analysis of DMA races using model checking and \(k\)-induction

Uses Software

• MiniSat
• SCRATCH
• Eraser
• RacerX

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic analysis of DMA races using model checking and \(k\)-induction
• Property-directed incremental invariant generation
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Strengthening Induction-Based Race Checking with Lightweight Static Analysis