SlideShare is now on Android. 15 million presentations at your fingertips.  Get the app

×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Correct sorting with Frama-C

by CTO at VisionSpace Technologies on Jul 03, 2009

  • 6,753 views

A view over bubble sort algorithm and his correctness proof in Frama-C.

A view over bubble sort algorithm and his correctness proof in Frama-C.

Statistics

Views

Total Views
6,753
Views on SlideShare
3,770
Embed Views
2,983

Actions

Likes
0
Downloads
44
Comments
2

11 Embeds 2,983

http://ulissesaraujo.wordpress.com 2923
http://translate.googleusercontent.com 26
http://www.slideshare.net 21
url_unknown 5
http://translate.google.it 2
https://ulissesaraujo.wordpress.com 1
http://webcache.googleusercontent.com 1
http://prlog.ru 1
http://www.365dailyjournal.com 1
http://www.linkedin.com 1
https://www.linkedin.com 1
More...

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel

12 of 2 previous next

  • UlissesCosta Ulisses Costa, CTO at VisionSpace Technologies Hello, I have read the frama-C manual. But I have to say that documentation lacks detail. I know they have a new manual, I have to read it... 4 years ago
    Are you sure you want to
    Your message goes here
    Processing…
  • guest918b98 Benjamin Monate Nice presentation and specification ! What kind of documentation would have helped you? Writing loop invariants is indeed tedious... 4 years ago
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Correct sorting with Frama-C Correct sorting with Frama-C Presentation Transcript