Язык функциональной верификации e — это язык программирования, ориентированный на конкретные приложения и предназначенный для автоматизации задачи проверки проекта аппаратного или программного обеспечения на соответствие его спецификации. Среды проверки, написанные на e, предоставляют модель среды, в которой ожидается функционирование проекта. , включая виды ошибочных условий, которым должна противостоять конструкция.Типичный v...
IEEE Std 1647-2011 История
2019IEEE Std 1647-2019 Стандарт IEEE для языка функциональной проверки e
2017IEEE Std 1647-2016 Стандарт IEEE для языка функциональной проверки e — Redline
2011IEEE Std 1647-2011 Стандарт IEEE для языка функциональной проверки e
2008IEEE STD 1647-2008 Стандарт IEEE для языка функциональной проверки e
2006IEEE Std 1647-2006 Стандарт IEEE для языка функциональной проверки «e»