0
喜欢
0
书签
声明论文
CSolve: Verifying C with Liquid Types   
摘  要:   We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture and interface.
发  表:   Computer Aided Verification  2012

共享有1个版本

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜