{"version":"1.0","type":"link","title":"BitC - Newikis","description":"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 var å utvikle støtte for formell, programvarestyrt verifikasjon.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}