Learnt a little about formal verification. What it does: tries to prove mathematically that the code or system behaves correctly How is it different from Test Driven Development (TDD): TDD verifies code or a system under test behaves in an expected manner for known shapes of inputs. Formal verification proves mathematically that a code or system behaves correctly for all possible range of inputs. Example that I got from AI that made it clear in my head: If you were to build a physical bridge via TDD method, you could say that it can bear the load of a car, bike, or a truck. Formal verification will let you say that the bridge will be able to hold the weight for all kinds of bikes, cars, trucks, maybe even an airplane. I might be wrong in some aspects of my understanding, but I got to do a dive (although a shallow one) into a new thing today.

Answer this

This is Proof — engineers thinking in the open.

You get read for how you actually reason — not a résumé keyword. Free to join.