← The Index

Topic

Model checking

A guide to the best B2B podcast coverage of Model checking - the shows and 1 episode that go deepest, ranked by substance, not downloads.

Best episodes on Model checking

  1. Can We Trust AI-Written Code? Why Executable Specs Are the Future of Software ft. Gabriela Moreira

    Colors of Web3 & Entrepreneurship · 2026-04-26

    69 / 100

    …Um, so this is a very quick, um, explanation of model checking, which is a field of form of verification where you start, like you give, uh, you start with a model what your system does and the properties you want to hold.…