3 ms·
I’d work on an industrial grade proof assistant and model checker suite. IDE, cloud integration, and visualization tools to push the practice of formal methods
by agentultra 7y ago
I’d work on an industrial grade proof assistant and model checker suite. IDE, cloud integration, and visualization tools to push the practice of formal methods in industry.
- Taikonerd 7y agoYes! Formal verification has been in the ivory tower for years and years, but hopefully it can break out in the coming decade. It's a field where the theory is very advanced, but the tooling for Joe Average Programmer is very lacking.