fstakem / alloy_book Public

Notifications You must be signed in to change notification settings
Fork 2
Star 7

Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"

7 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
appendixA		appendixA
appendixE		appendixE
chapter2		chapter2
chapter4		chapter4
chapter5		chapter5
chapter6		chapter6
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Alloy Book

Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"

About

Code from the book on Alloy "Software Abtractions: Logic, Language, and Analysis"

Report repository

Releases

No releases published

Packages

No packages published

Languages

Alloy 100.0%