Formal Verification of a Flash Memory Device Driver - An Experience Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim. Formal Verification of a Flash Memory Device Driver - An Experience Report. In Klaus Havelund, Rupak Majumdar, Jens Palsberg, editors, Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Volume 5156 of Lecture Notes in Computer Science, pages 144-159, Springer, 2008. [doi]

This author has not been identified. Look up 'Moonzoo Kim' in GoogleThis author has not been identified. Look up 'Yunja Choi' in GoogleThis author has not been identified. Look up 'Yunho Kim' in GoogleThis author has not been identified. Look up 'Hotae Kim' in Google

runs on WebDSL