Year: 2024
Type: other
Abstract: ACM A.M. Turing Laureate helped to develop model checking into a widely adopted, highly effective verification technology.
Source: Communications of the ACM
DOI: 10.1145/3702968
Authors: Eugene H. Spafford, Simson L. Garfinkel
Institutions: Purdue University West Lafayette, Harvard University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4404629023