The document was issued by industry or industrial organization.
file
Feng Zhao is an Assistant Managing Director at Microsoft Research Asia, where he oversees multiple research areas including hardware computing, mobile and sensing, software analytics, systems, and wireless and networking. He is also an Affiliate Faculty of Computer Science and Engineering at University of Washington and an adjunct Professor at Hong Kong University of Science and Technology.
file
Presented as part of the 2012 HCSS conference.
Abstract:
Over the last two decades formal methods have achieved widespread use by industry in the development of safety and security critical systems. However, these successes often go unacknowledged as evidence of the successful transition of formal methods simply because
