Абстрактный язык конечных автоматов

язык абстрактных состояний машины(AsmL) - это язык программирования, основанный на абстрактных машинах состояний формальный метод, разработанный Microsoft. AsmL - это функциональный язык (который обычно используется в академических исследованиях).

XASM - это реализация языка с открытым исходным кодом.

• Microsoft: ASML
• XASM

.