Alloy: A Language and Tool for Exploring Software Designs
Jackson, Daniel
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
@article{jackson:cacm19-alloy,
address = {New York, NY, USA},
author = {Jackson, Daniel},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
issn = {0001-0782},
issue_date = {September 2019},
journal = {Commun. ACM},
month = aug,
number = {9},
numpages = {11},
pages = {66--76},
publisher = {Association for Computing Machinery},
title = {Alloy: A Language and Tool for Exploring Software Designs},
volume = {62},
year = {2019},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAgcGFwZXJzL2phY2tzb25jYWNtMTktYWxsb3ktYS5wZGZPEQGMAAAAAAGMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8ZamFja3NvbmNhY20xOS1hbGxveS1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACAD8vOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmphY2tzb25jYWNtMTktYWxsb3ktYS5wZGYAAA4ANAAZAGoAYQBjAGsAcwBvAG4AYwBhAGMAbQAxADkALQBhAGwAbABvAHkALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA9VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvamFja3NvbmNhY20xOS1hbGxveS1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQARwAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAHX},
bdsk-url-1 = {https://doi.org/10.1145/3338843}
}