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 (Latest Models)
in Alloy Alpha
| Version 1 |
| Version 2 |
| Version 3 |
| Version 4 |