Beruf
Softwareentwickler
Beschreibung
Use when asked to proofread, review, or 校对 code or documents for correctness, logical consistency, or quality issues. Covers general code logic review (any language), plus formal-verification backends for C (ACSL contracts via Frama-C static proof and E-ACSL…
Quellsprache: Chinesisch
Aktualisiert