5 ms·
I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated
by ascent817 14d ago
I’m working on a DO-178C compliant verification suite for avionics software with Z3 at work, criminally underrated