Tag: Formal Verification

All the articles with the tag "Formal Verification".

• The Perilous World of Undefined Behavior in C++23

  Published: Apr 17, 2025

  I've battled my fair share of mysterious crashes, inexplicable performance issues, and code that works perfectly on my machine but fails spectacularly in production.