Edmund M. Clarke was an American computer scientist and professor at Carnegie Mellon University who, in 1981 with his doctoral student E. Allen Emerson, first proposed model checking as a technique for automatically and exhaustively verifying that a finite state hardware or software design meets its specification. Model checking became one of the most widely used formal verification technologies in the hardware and software industries, and Clarke shared the 2007 Turing Award with Emerson and Joseph Sifakis for developing it into a practical tool.
Facts
AwardHarry H. Goode Memorial Award 2 AwardFellow of the American Academy of Arts and Sciences 2 Awardhonorary doctor of the Vienna Technical University 2 AwardBenjamin Franklin Medal 2 AwardBower Award and Prize for Achievement in Science 2 FAQs
How do you tell a model checker what a design should do?
Properties are usually written in a temporal logic, and the checker decides whether the model satisfies a given formula.
A model checker compares a model of a program against a specification, and the specification is usually written in a temporal logic, a kind of specification language for expressing properties. The question is then posed mathematically: given a temporal logic formula and a model with an initial state, decide whether the model satisfies the formula in that state. This is the setting of the model checking work associated with Edmund M. Clarke.
Connections
In Field
Source Wikipedia: Edmund M. Clarke
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Edmund M. Clarke
Wikimedia FoundationLead section
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.
- In Field: Formal Methods, Lead paragraph
View the Source 2. Wikidata: Edmund M. Clarke
- Wikidata Q92819, class allow-list match (w-wdresolver-0926)
- Wikidata Q92819 P569 (date of birth)
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.