Blog
Tag Archives: link
Understand LTL? Join us! Pascal Cuoq on 6 August 2012
Here is yet another software verification competition. If you are a specialist of the verification of temporal properties and you have been regretting not to snatch that easy Xbox 360 (with Kinect!) in 2011* this is your chance to make up for it! We have the reachability part of the...
Read MoreUndefined behavior is a harsh mistress Pascal Cuoq on 28 June 2012
Mark Shroyer has discovered an interesting consequence of undefined behavior in the compiled version of a C program: a variable behaves as both true and false as a result of being uninitialized. The post is great and could not come at a better time. I needed for the talk I...
Read MoreI discovered another blog Pascal Cuoq on 12 April 2012
If you like this blog, then on the basis of recent posts, you will with good probability like that blog. The recent posts I have read all deal with various subtle undefined behaviors in C.
Read MoreWhy do signed overflows so often do what programmers expect? Pascal Cuoq on 29 March 2012
Semi-serious musings During the Frama-C random testing experiment described at length on this blog and this page we found a few bugs in Csmith too. John Regehr one of the Csmith developers and not entirely coincidentally a co-author of the article linked in the previous post is also a co-author...
Read More