# Formal Methods in Verification

{
  "id": "T10142",
  "title": "Formal Methods in Verification",
  "url": "/topics/T10142",
  "kind": "topic-directory",
  "aeo_cohort": "topic-directory",
  "provider": "openalex",
  "revision": "b4bfc49653e41b9a",
  "catalogue_revision": "f050b5d4780b1289",
  "numeric_address": "36042853378067671",
  "address_version": "morton4x16-v1",
  "coordinates": [
    3,
    17,
    1703,
    10142
  ],
  "answer_status": "Directory metadata; local answer requires separate source review",
  "truth_status": "Subject descriptor, not a factual answer or a demonstrated knowledge gap"
}

This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.

Directory metadata is not a factual answer or evidence of a global knowledge gap.

Source: https://openalex.org/T10142

No owner-reviewed local answer yet.