Used for implementing run-time diagnostics in programs. Format #include <assert.h> void assert (int expression);