首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 整合redlog在Frama-C

整合redlog在Frama-C

资 源 简 介

Summary We integrate Redlog to Frama-C in order to improve verification ability of Jessie (a plug-in of Frama-C) on real number issue. Basically, we could verify a simple C-program and we "re still in development to get grid of some incompatibilities. We hope to receive feedback and comments from you. Thank you for visiting our project. Reference installation guide before getting started verification with Redlog

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP