埃德蒙·克拉克
模型檢測(cè)技術(shù)的先驅(qū)
The ultimate goal of computer science is to create systems that are both powerful and reliable.
計(jì)算機(jī)科學(xué)的終極目標(biāo)是創(chuàng)建既強(qiáng)大又可靠的系統(tǒng)。
The process of verification is as important as the process of creation in computer science.
在計(jì)算機(jī)科學(xué)中，驗(yàn)證過(guò)程與創(chuàng)造過(guò)程同樣重要。
The future of computing lies in the development of systems that can verify their own correctness.
計(jì)算的未來(lái)在于開(kāi)發(fā)能夠自我驗(yàn)證正確性的系統(tǒng)。
The challenge in model checking is not just to find errors, but to understand why they occur.
模型檢查的挑戰(zhàn)不僅在于發(fā)現(xiàn)錯(cuò)誤，還在于理解它們?yōu)楹伟l(fā)生。
We must always strive to push the boundaries of what is possible in computing.
我們必須始終努力推動(dòng)計(jì)算領(lǐng)域的可能性邊界。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對(duì)確定性。
In computer science, we often have to deal with systems that are too complex to understand all at once.
在計(jì)算機(jī)科學(xué)中，我們經(jīng)常需要處理那些復(fù)雜到無(wú)法一次性理解的系統(tǒng)。
The key to solving complex problems is to break them down into smaller, more manageable parts.
解決復(fù)雜問(wèn)題的關(guān)鍵在于將它們分解成更小、更易管理的部分。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型檢查是驗(yàn)證硬件和軟件系統(tǒng)正確性的強(qiáng)大工具。
The most important thing in science is not to stop questioning.
科學(xué)中最重要的事情是不要停止提問(wèn)。