{
  "title": "Max functions with ACSL specifications",
  "origin_url": "https://frama-c.com/html/acsl-tutorial.html",
  "license_guess": null,
  "code_sha256": "929099150991ada447b84078943e60c87b53f91f190e34304e3eba3a30d4d10e",
  "added_at": "2026-02-11T12:01:37Z"
}