Logic, Models and Analysis

Search

Speakers:

Daniel Jackson

Location:

Santa Barbara, CA

Date:

Jun 29 2000

Invited Lecture
7th International Static Analysis Symposium
Santa Barbara, CA, June 29, 2000

Overview of Alloy and its analyzer, with sample applications to models and code.

by alloy

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte