Symbolic program execution using the Erlang verification tool.
Clara Benac Earle · 2000
The telecommunication company Ericsson is using the functional language Erlang [AVWW96, Erl99] for the implementation of the control software of telephone and data switches, such as the AXD 301 ATM switch [BR98]. For these