Resilient
A statically-typed compiled language for safety-critical embedded systems, with Z3-verified contracts and self-healing runtime blocks
A statically-typed compiled language for safety-critical embedded systems, with Z3-verified contracts and self-healing runtime blocks