Finance verification
TLA-Finance
Interactive investigation of suspicious Finance Agent outputs with supporting formal models. A guided walkthrough is available by request.
Guided walkthroughs
Demos available by request
Choose a project below, then email me to schedule a guided walkthrough.
Automated testing
SPS-VeriSpec Agent Workbench
A browser view showing how SPS-VeriSpec moves from Python code to Soufflé results, generated tests, validation, and items that still need review. A guided walkthrough is available by request.
What to Include
- Your name and organization, if relevant.
- The project you want to see: TLA-Finance or SPS-VeriSpec.
- A few time windows when you are available.