Model-Based Design and Verification for Robotics.
Please see the Drake Documentation for more information.