Sign in

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea LattuadaTravis HanceChanhee ChoMatthias BrunIsitha SubasingheYi ZhouJon HowellBryan ParnoChris Hawblitzel
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • model checking
  • databases
  • neural network
  • information retrieval
  • feature selection
  • multiscale
  • website
  • probabilistic model
  • support vector machine
  • closed form
  • linear models
  • simple linear