Clemens Muhlbacher

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

Essential reading

A poorly documented spreadsheet erodes effective use. Our workshops help students develop good documentation habits and skills.
Errors in the data, formulas, or manipulation of spreadsheets could be costly, even devastating.
Creating a slow spreadsheet is easy. Creating an efficient spreadsheet requires more thought and application of specific techniques.
"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.
Spreadsheet audit and review procedures are an essential part of almost all City of London financial transactions.
See our bibliography of spreadsheet best practice, risk management, errors and testing, and methods for improving spreadsheets.
This article walks you through different methods and built-in tools that can be used to audit and debug Excel spreadsheets.
Once information is loaded into a spreadsheet, it acquires properties that it may not deserve – a process called reification.