Posts tagged with “formal-methods” 2017-07-28 — Recommended Reading from the DeepSpec Summer School 2017-02-17 — Verified, Validated, or Certified? 2017-02-04 — Verifying Distributed Systems with Verdi 2017-01-07 — Why Formal Semantics? 2016-07-02 — OPLSS Flotsam 2016-03-13 — Going to OPLSS 2016!