I am a research intern working in a group studying and developing formal methods. The tech we are working with has served to verify planes, trains and has been

I am a research intern working in a group studying and developing formal methods. The tech we are working with has served to verify planes, trains and has been used in NASA. AMA if anyone here is curious about how the world around FM works.