Cited in
(15)- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Region Analysis for Race Detection
- Improving thread-modular abstract interpretation
- Static analysis of embedded real-time concurrent software with dynamic priorities
- TinyOS
- RacerX
- DDVerify
- HAVOC
- LOCKSMITH
- RELAY
- Magiclock
- AUTOSAR
- Demand-driven interprocedural analysis for map-based abstract domains
- Effect-polymorphic behaviour inference for deadlock checking
- Three improvements to the top-down solver
This page was built for software: Goblint
