Model-Based Design and Verification for Robotics.

Please see the Drake Documentation for more information.