Login / Signup

Verifying Rust Programs with SMACK.

Marek S. BaranowskiShaobo HeZvonimir Rakamaric
Published in: ATVA (2018)
Keyphrases
  • data sets
  • model checking
  • computer programs
  • automatic programming
  • bayesian networks
  • programming environment