SMT

The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets

Essential reading

"Oh My God" my formulas are not working! This article covers most of the reasons for Excel formulas not working. And how to fix them.
The twenty principles for good spreadsheet practice aims to reduce the amount of time wasted and the number of errors.
Spreadsheet errors are reduced by using good design. Our students do three assignments to acquire good spreadsheet design skills.
Do you document your spreadsheets? We use the FizzBuzz word game to illustrate the importance of documenting your spreadsheets.
Every study that has looked for errors has found them in considerable numbers. Spreadsheeting's childhood is over.
Spreadsheet audit and review procedures are an essential part of almost all City of London financial transactions.
Incorrect use of Excel's NPV function is a common source of spreadsheet errors. We show several pitfalls and ways to avoid them.
60% of large companies feel 'Spreadsheet Hell' describes their reliance on spreadsheets either completely or fairly well.