The generation of the behavior of a system with a formal computer model.