Programma's van chex4j.sf.net

Met Chex4j u @pre en @post voorwaarden van methodeaanroepen documenteren en afdwingen met runtime of tijdklasse bestandsinstrumentatie bouwen. Voorwaarden lopen net zo snel als de normale code.