1. A computer program product for validating a formula within a spreadsheet, the computer program product comprising a computer readable storage medium having program code embodied therewith, the program code readable and executable by a processor to perform a method comprising: identifying a formula within a spreadsheet; identifying a formula type of an identified formula from the spreadsheet; identifying and locating a database of known accurate formulas whose type matches the formula type of the identified formula within the spreadsheet, wherein each of the known accurate formulas calculates a correct solution to a predefined problem; determining whether the identified formula from the spreadsheet matches a known accurate formula from the database; determining whether the identified formula from the spreadsheet is executable; and in response to determining that the identified formula is not executable and in response to the identified formula from the spreadsheet failing to match the known accurate formula from the database, initiating a predefined action.