3 ms·
Not sure if true, but I heard a couple of researchers in my uni wrote some code for Boeing. They wrote the code in Prolog. I assume because it's easier to forma
by mavdi 11y ago
Not sure if true, but I heard a couple of researchers in my uni wrote some code for Boeing. They wrote the code in Prolog. I assume because it's easier to formal test it. And they didn't trust the compiler, so they had to check the generated machine code line by line. Apparently.
- tjr 11y agoIf it was DO-178B/C Level A, then yeah, they'd have to inspect the machine code. Regardless of trusting the compiler. And the compiler would have to be inspected too.