Login / Signup

Online Efficient Predictive Safety Analysis of Multithreaded Programs.

Koushik SenGrigore RosuGul Agha
Published in: TACAS (2004)
Keyphrases
  • safety analysis
  • real time
  • neural network
  • artificial intelligence
  • safety critical