Sign in

Dsolve: Safety Verification via Liquid Types.

Ming KawaguchiPatrick Maxim RondonRanjit Jhala
Published in: CAV (2010)
Keyphrases
  • computer vision
  • database
  • real time
  • data sets
  • data mining
  • decision trees
  • digital libraries
  • hidden markov models
  • verification method
  • concurrent systems
  • safety analysis