Login / Signup

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers.

David Monniaux
Published in: CoRR (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • test generation
  • malicious code
  • databases
  • programming language
  • symbolic execution
  • database systems
  • training set
  • natural language processing
  • test case generation