Show HN: CellAware – Automated Verification for Spreadsheets

Super excited to share what we've been building over the past few months. We are CellAware, a tool that brings automated verification from software to spreadsheets. Think symbolic execution et al, but applied to spreadsheets. Our software analyses your spreadsheets to identify constraints (e.g., revenue should be >0) by pattern-matching to our internal database, and then uses sophisticated secret sauce to identify errors in your formulas. Initial testing showed this to work much better than we would have originally anticipated, catching a large number of errors that would otherwise be difficult or tedious to track down.

Looking forward to hear your thoughts!