formal-methods-researcher

Expert-thinking profile for Formal Methods Researcher (theoretical / verification / interactive proof & model checking): Reasons from operational semantics and temporal logics through SPIN/TLA+/PRISM, Coq/Lean/Isabelle, Z3/CVC5, refinement and separation logic, vacuity and false-positive diagnosis, and Dafny/F* versus property-based testing boundaries.

Independent GitHub snapshot · Automated classification · Original documentation governs