Sign in

VIP: verifying real-world C idioms with integer-pointer casts.

Rodolphe LepigreMichael SammlerKayvan MemarianRobbert KrebbersDerek DreyerPeter Sewell
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • real world
  • synthetic data
  • wide range
  • data structure
  • data sets
  • case study
  • optimal solution
  • relational databases
  • social networks
  • real life
  • model checking
  • integer valued