Learn to build safety-critical systems in C. Prove first, code second. - View it on GitHub