Описание тега event-b
Формальный метод моделирования и анализа на системном уровне. Его ключевыми особенностями являются использование теории множеств в качестве нотации моделирования, использование уточнения для представления систем на различных уровнях абстракции и использование математического доказательства для проверки согласованности между уровнями уточнения.
Event-B - это формальный метод моделирования и анализа на уровне системы. Ключевыми особенностями Event-B являются использование теории множеств в качестве нотации моделирования, использование уточнения для представления систем на разных уровнях абстракции и использование математического доказательства для проверки согласованности между уровнями уточнения.
Event-B - это эволюция метода B, разработанного Жаном-Раймоном Абриалом. Википедия содержит полезную информацию и ссылки по B-методу.