Ada Programming/Libraries/Ada.Assertions

is a unit of the Predefined Language Environment since Ada 2005.

Specification
Pure Assertions Assertion_Error Assert Check  Boolean Assert Check  Boolean Message   String AdaAssertions

Wikibook

 * Ada Programming/Libraries/Ada