Fifteen Years of Formal Property Verification in Intel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Limor Fix. Fifteen Years of Formal Property Verification in Intel. In Orna Grumberg, Helmut Veith, editors, 25 Years of Model Checking - History, Achievements, Perspectives. Volume 5000 of Lecture Notes in Computer Science, pages 139-144, Springer, 2008. [doi]

This author has not been identified. Look up 'Limor Fix' in Google

runs on WebDSL