Finance verification
TLA-Finance
Uses TLA+ model checking to investigate and explain suspicious outputs from agentic finance systems.
Guided walkthroughs
Demos available by request
Choose a project below, then email me to schedule a guided walkthrough.
Automated testing
SPS-VeriSpec Agent Workbench
Uses Python, Soufflé, and pytest to turn source-code relationships into reliable automated tests.
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.