SCRATCH

swMATH6537MaRDI QIDQ18634FDOQ18634

Author name not available (Why is that?)

Described by source

• Automatic analysis of DMA races using model checking and \(k\)-induction

Cited In (1)

• Strengthening Induction-Based Race Checking with Lightweight Static Analysis

This page was built for software: SCRATCH