En akademisk artikkel presenterer C*, et rammeverk som skal forene programmering og formell verifikasjon i programmeringsspråket C.

Kilde: https://arxiv.org/abs/2504.02246