CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems