Английская Википедия:Averest: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

4 февраля 2024

  • текущ.пред. 13:5513:55, 4 февраля 2024EducationBot обсуждение вклад 1760 байт +1760 Новая страница: «{{Английская Википедия/Панель перехода}} {{multiple issues| {{Notability|date=January 2011}} {{no footnotes|date=March 2013}} }} '''Averest''' is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. It can be used to model and verify finite and infi...»