This article mentions "dual path". Can anyone confirm the tale that some aircraft/spacecraft have the same system built with different versions of Ada/Ada comp

This article mentions "dual path". Can anyone confirm the tale that some aircraft/spacecraft have the same system built with different versions of Ada/Ada compilers on different hardware running at the same time for redundancy?