He is also one of the founders of the Abstract State Machines (ASM) formal method for accurate and controlled design and analysis of computer-based systems and cofounder of the series of international ASM workshops.
كما أنه أحد مؤسسي الأسلوب الرسمي لمعدات State Abstract (ASM) لتصميم وتحليل دقيق للنظم القائمة على الكمبيوتر وأحد مؤسسي سلسلة ورش عمل ASM الدولية.