We have recently published a paper in the 10th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE’18). The paper is titled Executable Counterexamples in Software Model Checking and describes in detail how SeaHorn produces executable counterexamples which we already showed in a previous post.
The slides used in the presentation can be found here. In addition to the slides, you can watch these two videos:
Enjoy!
SeaHorn team