An assertion is a boolean expression at a specific point in a program which will be true unless there is a bug in the program

The C2 Wiki