Author Search Results

Edmund M. Clarke

Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award. Provided by Wikipedia

Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.

Participants: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania) [ ]; ProQuest (Firm) [ ]; Clarke, Edmund. [ TeilnehmendeR ]; Minea, Marius. [ TeilnehmendeR ]; Tiplea, Ferucio Laurentiu. [ TeilnehmendeR ]; ...
Published: c2006.
Superior document: NATO security through science series. D, Information and communication security ; vol. 1

Other Authors: “...Clarke, Edmund....”

Links: Get full text