BitC

BitC er et programmeringsspråk for systemprogrammering som blir utviklet av forskere ved Johns Hopkins University og The EROS Group, LLC, som en del av prosjektet Coyotos. Formålet med BitC er å utvikle støtte for formell, programvarestyrt verifikasjon.

BitC er foreløbig under betatesting. Den siste betaversjonen er 0.9.1 fra 17. februar 2006.