search menu icon-carat-right cmu-wordmark

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

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.