C-XSC is a libary for the development of numerical algorithms that deliver highly accurate and automatically verified results. C-XSC can do real, complex, interval, and complex interval arithmetic with mathematically defined properties, dynamic vectors and matrices, accurate dot products, predefined arithmetic operators with highest accuracy, standard functions of high accuracy, dynamic multiple-precision arithmetic and rounding control for the input and output of data.