AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.More info
Micrium has consistently held the leadership position in embedded software components. The company's flagship μC/OS family is recognized for unparalleled reliability, performance, dependability, impeccable source code, and extensive documentation. In addition, some Micrium components contain certifications that meet the rigorous safety-critical standards demanded by industries that include medical electronics, avionics, and industrial products.More info
We'd like to wish the @AMUVa_Robolid team good luck at this week's Robolid 2017 robotics competition!