ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your code by executing it symbolically at compile time in a virtual machine.
ZZ is targeted to software that runs close to hardware but it can be also used to build cross-platform, ANSI-C compliant libraries. Actually, ZZ works as a transpiler to C code, which is then fed into any standard C compiler.
