Tag Archives: tutorial

A mini-tutorial of ACSL specifications for Value
André Maroneze on 23 September 2016

(with the collaboration of F. Kirchner, V. Prevosto and B. Yakobowski) Users of the Value plugin often need to use functions for which there is no available code, or whose code could be abstracted away. In such cases, ACSL specifications often come in handy. Our colleagues at Fraunhofer prepared the...

Read More

Small improvements to the Frama-C GUI
André Maroneze on 8 April 2016

The Frama-C GUI received a few quality-of-life improvements that have not been announced during the Magnesium release. This post presents some of them, along with general GUI tips. We focus on general-purpose UI improvements, while another post will discuss new Value-specific features, related to the new Values tab. These UI...

Read More