| Property |
Value |
| dbo:abstract
|
- Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM). (fr)
- Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM). (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7392 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:fr
|
- Carnegie Mellon School of Computer Science (fr)
- FORE Systems (fr)
- Harry H. Goode (fr)
- Kenneth McMillan (fr)
- Randal Bryant (fr)
- Semiconductor Research Corporation (fr)
- Carnegie Mellon School of Computer Science (fr)
- FORE Systems (fr)
- Harry H. Goode (fr)
- Kenneth McMillan (fr)
- Randal Bryant (fr)
- Semiconductor Research Corporation (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:légende
|
- Edmund M. Clarke en 2006. (fr)
- Edmund M. Clarke en 2006. (fr)
|
| prop-fr:nom
|
- Clarke (fr)
- Grumberg (fr)
- Peled (fr)
- Clarke (fr)
- Grumberg (fr)
- Peled (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
|
| prop-fr:tailleImage
| |
| prop-fr:texte
|
- Kenneth McMillan (fr)
- Kenneth McMillan (fr)
|
| prop-fr:titre
|
- Model Checking (fr)
- Model Checking (fr)
|
| prop-fr:trad
|
- Kenneth McMillan (fr)
- Kenneth McMillan (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- The MIT Press (fr)
- The MIT Press (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM). (fr)
- Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM). (fr)
|
| rdfs:label
|
- Edmund Clarke (pt)
- Edmund M. Clarke (fr)
- Edmund M. Clarke (nl)
- Едмунд Кларк (uk)
- エドムンド・クラーク (ja)
- 爱德蒙·克拉克 (zh)
- Edmund Clarke (pt)
- Edmund M. Clarke (fr)
- Edmund M. Clarke (nl)
- Едмунд Кларк (uk)
- エドムンド・クラーク (ja)
- 爱德蒙·克拉克 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
