Alloy

Abstract

Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.

Document Details

• Document Type: Pub Defense Publication
• Publication Date: Aug 21, 2019
• Source ID: 10.1145/3338843

Entities

People

• Daniel Jackson

Organizations

• Air Force Research Laboratory
• Intelligence Advanced Research Projects Activity
• Massachusetts Institute of Technology
• National Science Foundation