Frama-C news and ideas

To content | To menu | To search | Frama-C Home

Tag - Jessie

Entries feed - Comments feed

Monday, November 15 2010

Loop assigns, part 3: On the importance of loop invariants

This post is the third of a serie dealing with loop assigns. The first can be found here and the second here.

Continue reading...

Sunday, October 17 2010

loop assigns, part 2

This post shows various ways to specify the loop assigns which modifies at each step a pointer and its content. This is the answers to the exercise of the preceding post on this subject.

Continue reading...