⚠️ This is an experimental tool for analyzing safety programs, but it isn't safety rated itself! Please don't rely on this alone for your system designs. If you find this stuff interesting or useful, ...