search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Statistical Model Checking for SWARMS

Statistical Model Checking for SWARMS

November 2016 • Presentation
Jeffrey Hansen

Research that validates approach of applying adaptive sampling and input attribution toward model checkint and attribution of failure conditions

Publisher:

Software Engineering Institute

Watch

Abstract

The project produced source code, prototype tools, and experimental results that validate the approach of applying adaptive sampling and input attribution toward (1) statistical model checking and (2) attribution of failure conditions.