C/Visual C - PRE-POST CONDICIONES

Hola! Necesitaría que alguien me ayudara con un problema que tengo en Visual C. Tengo que realizar las PRE- POST CONDICIONES y los INVARIANTES en una aplicación, pero no sé como realizarlos bién. Las PRE y POST casi lo tengo, pero no se como crear el INVARIANTE. Podría alguien hacerme un ejemplo? Gracias