model checking

ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs

ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking.

Subscribe to RSS - model checking