CSAIL Event Calendar

PL/SE Seminar: Applications and Foundations of Scenario-Finding Tools

Scenario-finding tools (such as the Alloy Analyzer) accept a specification and produce concrete examples of its behavior. In this talk, I will discuss some of our current work in this area. Margrave is a scenario-finding tool for security policy analysis. Aluminum is a modification of Alloy that produces only minimal scenarios (i.e. that have no unnecessary truths). Finally, I will present a finite-model theorem that allows, for a rich class of specifications, automatic computation of bounds that are sufficient for complete satisfiability testing.

This is joint work with Dan Dougherty, Kathi Fisler, and Salman Saghafi at WPI, and Shriram Krishnamurthi at Brown University.

See other events happening in December 2012