4 ms·

Hmm.. so is there any work done on program verification, or process communication analysis, with Core Erlang?