Blog posts

• Intrinsic vs. extrinsic verification. October 30, 2024.
  Tracing the origin of the terms "intrinsic" and "extrinsic" in formal verification and programming languages.