In this paper we restrict our attention to worm-like, vertical traveling wave locomotion and present detailed kinematics and dynamics of a planar multi-link snake robot. Lagrange's method is used to obtain the robot dynamics. Webots software is used for simulation and to experimentally investigate the effects of link shape on motor torques. Using the dynamics model and Webots simulation, a nine-link snake robot is designed and constructed. Physical experiments are carried out to validate the mathematical model. Webots software is also used to perform simulation and further validate theoretical results. Finally, stability of the snake robot is experimentally investigated.