Advanced Search Tips

Jessie

Submitted by on Jun 18 2014 Suggest Revision
From:
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
C
Data Format:

Description

Jessie is a plugin of the Frama-C environment for static analysis of C code. It aims at deductive verification of behavioral properties of the code, specified using the ACSL language.
Post comment
Cancel