Login / Signup

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).

Raphaël MonatMarco MilaneseFrancesco ParoliniJérôme BoillotAbdelraouf OuadjaoutAntoine Miné
Published in: TACAS (3) (2024)
Keyphrases
  • provably correct
  • neural network
  • computer programs
  • data mining
  • social networks
  • image processing
  • symbolic execution