Merit and Blame Assignment with Kind 2 (Demo video)

<p>This video presents new features of the open-source model checker <a href="http://kind.cs.uiowa.edu">Kind 2</a> which provide traceability information between specification and design elements. It illustrates the new functionality with an example and shows why this information is important to ensure the correct design of the system model.</p>