project
Microkernel cited in the interview as an example of complete formal verification in industry practice.
No evidence-backed relationships are recorded.
No current published clusters are mapped here yet.