The dogged pursuit of bug-free C programs: the Frama-C software analysis platform
Communications of the ACM（2021）
摘要
AbstractA panoramic view of a popular platform for C program analysis and verification.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要