Program menurut dbc-utilities.sf.net

Proyek ini akan menyediakan serangkaian kelas utilitas yang sangat kecil yang dapat digunakan untuk memeriksa kelas invariants pra dan pascakondisi