Search
 
loader loading subjects...
cover
Grand Challenge: Model Check Software
Edmund Clarke, Himanshu Jain, Nishant Sinha
55 - 68
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
Abstract

Model checking has been successfully employed for verification of industrial hardware systems. Recently, model checking techniques have also enjoyed limited success in verifying software systems, viz., device drivers. However, there are several hurdles which must be overcome before model checking can be used to handle industrial-scale software systems. This article reviews some of the prominent model checking techniques being used for verification of software and summarizes the existing challenges in the field.

$35.00 / €27.50 / £22.00
Add PDF to cart