资 源 简 介
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
