Sign in

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

Andrea LattuadaTravis HanceChanhee ChoMatthias BrunIsitha SubasingheYi ZhouJon HowellBryan ParnoChris Hawblitzel
Published in: CoRR (2023)
Keyphrases
  • dynamic range
  • database
  • machine learning
  • data sets
  • neural network
  • real world
  • website
  • decision trees
  • hidden markov models
  • piecewise linear
  • transfer function
  • multiple types
  • fixpoint
  • simple linear
  • linear complexity