If we could get the zig of formal methods to team up with zig ... Omg ... I've played here and there with spin, and a few others but nothing yet stuck for the l

If we could get the zig of formal methods to team up with zig ... Omg ... I've played here and there with spin, and a few others but nothing yet stuck for the long term. Fm helps safety in all aspects not just memory.