New Results in Software Model Checking and Analysis

[摘要] This introductory article surveys new techniques, supported by automated tools, for the analysis of software to ensure reliability and safety. Special focus is on model checking techniques. The article also introduces the five papers that are enclosed in this special journal volume.

[发布日期] 2010-12-01

[学科分类] 软件