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

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.