>>905
こういうのはどう?
https://www.infoq.com/jp/news/2020/05/zz-formal-verified-c-dialect/