Statistical Model Checking for SWARMS

November 1, 2016 • Presentation

By

Jeffrey Hansen

Research that validates the 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.