Users comments
frama-c demo
added 17/11/2008
views 716
category Development
tags C verification logic contracts
This short demo shows how to use Frama-C with the Jessie plugin from emacs, to call the GUI that allows calling provers.
A short C function annotated with a contract is proved correct.
Buggy versions are all rejected.
ScreenToaster is a free online screen recorder. Record your own video.
ADD A COMMENT
CLOSEREPORT ABUSE
CLOSESEND A VIDEO
CLOSEVIDEO SENT
CLOSEThe video was sent to your contact.
REPORT ABUSE SENT
CLOSEThank you for reporting an abuse on ScreenToaster.