Turing Award 2007 awarded for the groundbreaking work on Model-Checkingddj.com7 pointseusman18 years ago