Model checking
Published in Communications of the ACM • Oct 27, 2009
NobleIDNI0P29W32R77S86
Authors:,,
Edmund M. Clarke
E. Allen Emerson
Joseph Sifakis
Abstract
Turing Lecture from the winners of the 2007 ACM A.M. Turing Award. In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly successful field of model checking. This verifica...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!