Component based approach to modeling for model checking

Vulnerabilities in concurrent sojiware systems and sojiware applications render an otherwise safe and network secure environment unsde and insecure. Any sofiware system or application added to a safdsecure environment that has exploitable security vulnerabilities a#iects the security and sdety ofthe whole environment. Thus, a system can be compromised easily ifthe system or application software on it, or on a linked system, has vulnerabilities. Therefore, it is critical that software be peepom such vulnerabiIities. Vulnerabilities in software arise from a number of development factors; but these vulnerabilities can generally be traced to poor software development practices, new modes of network attach, miscoqfigurations, and dangerous interaction between