NASA NTRS · 20110008668
New Results in Software Model Checking and Analysis
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Pasareanu, Corina S.. 2010-12-01. New Results in Software Model Checking and Analysis. https://ntrs.nasa.gov/citations/20110008668
Cite the original work for its findings. Save a collection to share your selection of sources.