Alloy Community

User login

Air Traffic Control

Home » Groups » MIT-SDG
Date: 
Mar 1 2001
author: 
Gregory Dennis, Mandana Vaziri

Design and Conformance of Air-Traffic Control
Software Design Group
MIT Laboratory for Computer Science

Six files are attached below:

---

A Specification of the Air Traffic Control Problem in Alloy Alpha
Greg Dennis, Emina Torlak, Sarfraz Khurshid, Mandana Vaziri

An Implementation Model of Direct-To in Alloy
Mohsen Ghassemi, Viktor Kuncak, Darko Marinov, Mandana Vaziri

Specifications of the Air Traffic Control Problem in Alloy Alpha (Greg Dennis, Mandana Vaziri)
Version 1
Version 2
Version 3
Version 4



Attachment

Size
Spec.all1.66 KB
DirectTo.als13.41 KB
Version1.all785 bytes
Version2.all1.01 KB
Version3.all1.39 KB
Version4.all2.44 KB
by gdennis

Syndicate content  

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