Skip to Content
Blog
Consulting
Talks
About
Open Invite
Practical TLA+
NEW:
Three-day online TLA+ workshop, July 27th-29th. Register
here
.
Hillel Wayne
Tag:
Alloy
Posted on
2020, Apr 13
Announcing: Alloydocs
Posted on
2019, Oct 09
Formally Modeling Database Migrations
Posted on
2019, Feb 11
Solving Knights and Knaves with Alloy
Posted on
2018, Jun 11
Formally Specifying UIs
Posted on
2018, Mar 16
Formally Specifying a Package Manager
Posted on
2018, Jan 15
Proving Games are Winnable with Alloy