Assertions -- side-effect free

contracts


Object invariance -- exceptions

Global properties -- requirements


slide: Runtime consistency checking