Alloy

2019/08/21 by Daniel Jackson · 2 citations
Computer Science · #Logic, programming, and type systems #Advanced Database Systems and Queries #Advanced Malware Detection Techniques

paper · pdf · doi:10.1145/3338843

Abstract

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

Cited by

• Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry
• Automated construction of predicate abstractions for smart contract validation

Related

• Combinatorial Alloy Design: Renaissance in the Accelerated Development of High-Entropy Alloys
• Analyzing Alloy Formulas using an SMT Solver: A Case Study
• AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
• Sharing and Learning Alloy on the Web
• Alloy meets TLA+: An exploratory study