Alloy-Reference-Cited by-同舟云学术

Alloy

Published:2019-08-21 Issue:9 Volume:62 Page:66-76
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Jackson Daniel¹

Affiliation:

1. Massachusetts Institute of Technology, Cambridge, MA

Abstract

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

Funder

National Science Foundation

Air Force Research Laboratory

Intelligence Advanced Research Projects Activity

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3338843

Reference43 articles.

1. Towards a Formal Foundation of Web Security

2. Alloy Tools; http://alloytools.org. Alloy Tools; http://alloytools.org.

3. Alloy Models repository; https://github.com/AlloyTools/models Alloy Models repository; https://github.com/AlloyTools/models

4. Alloy discussion forum; https://groups.google.com/forum/#!forum/alloytools Alloy discussion forum; https://groups.google.com/forum/#!forum/alloytools

Cited by 74 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Alloy Repair Hint Generation Based on Historical Data;Lecture Notes in Computer Science;2024-09-13

2. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures;Lecture Notes in Computer Science;2024-09-10

3. Population-induced phase transitions and the verification of chemical reaction networks;NAT COMPUT;2024

4. On Formal Methods Thinking in Computer Science Education;Formal Aspects of Computing;2024-06

5. Forge: A Tool and Language for Teaching Formal Methods;Proceedings of the ACM on Programming Languages;2024-04-29