TEST, DON'T (JUST) VERIFY

Summary from the TLDR AI newsletter

AI is making formal verification go mainstream. Random testing will play an important role in the future of software engineering. As autoformalization tools get better, we will have many more formal specifications. Random testing benefits from these formal specifications in different ways than formal verification, but both have their places.