A gently curated list of companies using verification formal methods in industry

LTL model checking of Core-Erlang using term rewriting techniques.

Executable Specification of Pi-Calculus with Reduction Semantics in Maude.

Kollaps: a decentralized container based network emulator

A Causal-Consistent Debugger for (Core) Erlang