Slide 1The Verifying Compiler: a Grand Challenge for Computing Research Tony Hoare Leiden5 November, 2003 Slide 2 Typical Grand Challenges Prove Fermats last theorem(accomplished)…