GNAT GPL Edition for the LEGO MINDSTORMS NXT platform brings the possibility of experimenting with embedded systems development using the Ada 2005 and SPARK languages to an education-oriented robotic platform. Entire embedded systems, including software, hardware and sensors intercefacing, and wireless communications can be developed and verified using the GPL editions of GNAT and SPARK.