Toby

For decades, research in formal verification has been guided by a simple mental model that I recently coined the formal verification triangle.The triangle captures a trade-off between three desirable properties:Automation - the verification tool runs larg

LLMs seem surprisingly good at many things. So much so that not a week goes by without someone coming up with yet another use-case for this technology, often to solve tasks quickly that traditionally took a non-trivial amount of human work to complete.Tod