英文含义 PAVG的全称：Program Analysis and Verification Group (Stanford University; California) | 中文意思：───程序分析和验证组(斯坦福大学加州)