Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Derrick Karimi
December 2015 - Conference Paper Model Checking with Multi-threaded IC3 Portfolios

This paper presents three variants of multi-threaded IC3s for model checking hardware, differing by degree of synchronization and aggressiveness of proof checking.

May 2013 - Presentation Quilt: A System for Distributed Queries of Security-Relevant Data

Topics: Network Situational Awareness

In this presentation, the authors describe Quilt, a system for distributed queries of security-relevant data.