openETCS/toolchain — pull request #51 by mgudemann (2013-06-14 15:54:35+00:00)
Title: Assessor2 for GNATprove / SPARK 2014 and GOPRR

added assessment as assessor 2 for the GNATprove and the GOPRR approach