Sprache "e" ist eine Verifikationssprache für die Systemebene, die in der Konsumelektronik, der Telekommunikation und im IP-Bereich eingesetzt wird. Die Sprache "e" ist von IEEE unter 1647 standardisiert und bietet damit die Voraussetzungen für den Einsatz von e-basierenden Tools.