Wikipedia
BitC
BitC was a partially designed and implemented systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aimed to support formal program verification. The primary designer of BitC stopped working on the language in 2012 claiming it had fundamental design flaws.