Verification based computing

Summary When a new computing paradigm emerges, it sometimes provides an excellent solution to a space that had no good tooling beforehand. That space then experiences a Cambrian explosion of innovation. We propose a new paradigm focused on verificat...