Support for reverse engineering, evaluation, and simulation of communication protocols.
A programming language for computations.
