openETCS/toolchain — pull request #252 by vprevosto (2014-01-27 15:58:29+00:00)
Title: Frama-C evaluation

Frama-C evaluation according to the template for VnV tools. A review by someone who's not an author of the tool would be welcome.