Sep 03, 2013: Jaco van de Pol: Cracking the RERS challenge with LTSmin

September 03, 2013Cracking the RERS challenge with LTSmin
Room: HalB 2FJaco van de Pol
12:30-13:30

I'm involved in the second RERS challenge, after LTSmin won the first such challenge in 2012. The contest is to check reachability and LTL properties on huge, automatically synthesized, C-programs. I will show the problem, the basic approach using LTSmin, and the current status. I hope somebody in the audience will join me, to help cracking the hard nuts.