executability: a formal description of the system means
‘‘direct machine-readability’’ in a few words, it provides a
functional model that could be immediately tested, using a
simulation technique, to ensure conformity of the product
and to detect internal incoherence, for the software product.