Dsolve: Safety Verification via Liquid Types.

Ming Kawaguchi Patrick Maxim Rondon Ranjit 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