Login / Signup
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.
Abraham Chan
Stefan Winter
Habib Saissi
Karthik Pattabiraman
Neeraj Suri
Published in:
ICST (2017)
Keyphrases
</>
error propagation
multi threaded
high speed
real time