Edmund Melson Clarke

Pays :États-Unis
Langue :anglais
Sexe :masculin
Note :
Informaticien. - Professeur, Computer science department, School of computer science, Carnegie Mellon university, Pittsburgh, Pa. (en 2006)
ISNI :ISNI 0000 0001 2119 7648

Ses activités

Auteur du texte1 document

  • Model checking

    Description matérielle : 1 vol. (314 p.)
    Description : Note : Bibliogr. p. 297-307
    Édition : Cambridge (Mass.) : MIT press , cop. 1999
    Auteur du texte : Orna Grumberg, Doron A. Peled

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb377571387]

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Biographie Wikipedia

  • Edmund Melson Clarke, Jr. (né le 27 juillet 1945) est un informaticien universitaire connu pour ses développements du model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire FORE Systems (en) en informatique à l'université Carnegie-Mellon. Clarke est un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du Prix Turing 2007, délivré par l'Association for Computing Machinery (ACM).

Pages équivalentes