Login / Signup

Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods.

Hui DengHui LiuYing GuoBaofeng Zhang
Published in: J. Softw. (2015)
Keyphrases
  • formal methods
  • formal analysis
  • optimization problems
  • database
  • information systems
  • optimization algorithm