尤里·澤瓦是抽象狀態(tài)機(jī)理論的創(chuàng)立者,這一理論為軟件和硬件系統(tǒng)的形式化驗(yàn)證提供了強(qiáng)大的工具。他的研究對(duì)計(jì)算機(jī)科學(xué)的理論和方法論產(chǎn)生了深遠(yuǎn)影響。