Crust: A Bounded Verifier for Rust (N).

John Toman Stuart Pernsteiner Emina Torlak

Published in: ASE (2015)

Keyphrases

data mining
decision trees
image segmentation
wireless sensor networks
social networks
objective function
digital libraries
pairwise
asymptotically optimal