Wondered that nobody mentioned Latex. I didn't look at the source code, but Laslie Lamport said he would pay a price (1000 USD?) for every error detected, and AFAIR he never had to pay a single dime. So the code should be qualifying for 'excellent'.