formal-methods-researcher

1 plugin uses this word, from 1 publisher.

formal-methods-researcherbyk-dense-ai
Reasons from operational semantics and temporal logics through SPIN/TLA+/PRISM, Coq/Lean/Isabelle, Z3/CVC5, refinement…
1 skill