web-links (blinks) web-log (blog) by Dragan Sretenovic
Wednesday, March 11, 2020
ZZ: C lang, enhanced
ZetZ is a Formally Verified Dialect of C
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.