Sample Models and Case Studies using Alloy | Alloy Community

Alloy Community

Search

Navigation

User login

Sample Models and Case Studies using Alloy

Please first login if you wish to upload a sample model or case study.

Formal modeling and analysis of a flash filesystem in Alloy
Eunsuk Kang
Apr 7 2008
MIT-SDG
Alloy model of Pacman
David Faitelson
Dec 19 2006
A Formal Model of Addressing for Interoperating Networks
Pamela Zave (AT&T Labs)
Jul 18 2005
Lessons Learned Using Alloy to Formally Specify MLS-PCA Trusted Security Architecture
Brant Hashii
Oct 1 2004
Analyzing Multicast Key Management Schemes
Mana Taghdiri
Oct 1 2003
MIT-SDG
Using Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models
Christie Bolton
Apr 1 2003
Modelling the Active Badge System
Steven Xu
Jan 1 2003
RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis
John Zao, Hoetech Wee, Jonathan Chu, Daniel Jackson
Dec 1 2002
Railway Safety
Daniel Jackson
Oct 1 2002
MIT-SDG
Checking and Reasoning about Semantic Web through Alloy
Jin Song Dong, Jing Sun, Hai Wang
Sep 1 2002
Understanding Filesystem Synchronization Software and Policies
Tina Nolte
Aug 1 2002
MIT-SDG
Reference Model for Open Distributed Processing
Andrey Naumenko
Jun 1 2002
Central Registry: A Pattern for Modular Implicit Invocation
Allison Waingold, Jon Whitney, Robert Lee
Feb 1 2002
MIT-SDG
Modelling and Analyzing a Peer-to-peer Protocol
Daniel Jackson, Hoeteck Wee
Feb 1 2002
MIT-SDG
Analyzing and Correcting an Intentional Naming Scheme
Sarfraz Khurshid
Dec 1 2001
MIT-SDG
Air Traffic Control
Gregory Dennis, Mandana Vaziri
Mar 1 2001
MIT-SDG
The NYC Subway Signaling System
Anita Sarma, Adrita Bhor
Mar 1 2001

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte