3 ms·Turing Award 2007 awarded for the groundbreaking work on Model-Checking7 points by eusman 19y ago