CMU CS 17-654: Analysis of Software Artifacts

Laboratory Assignments - Fall 2001

Laboratory 1:    FAA Advanced Automation System

 

Student Solutions

Team A	Team B	Team C	Team D	Team E	Team F	Team G	Team H
.pdf	.pdf	.pdf	.pdf	.pdf	.pdf	.pdf	.pdf

Laboratory 2:    Travel Requisition Process

 

Student Solutions

Team A	Team B	Team C	Team D	Team E	Team F	Team G	Team H
write-up	oral write-up	.pdf	oral write-up	write-up	oral write-up	.pdf	.pdf

Laboratory 3:    C String Library Routines

 

Student Solutions

Team A	Team B	Team C	Team D	Team E	Team F	Team G	Team H
oral	oral	oral	oral	oral	oral	oral	oral

Laboratory 4:    Remote Switches (Z)
Laboratory 5:    Temporal Logic, C Code Verification
Laboratory 6:    Remote Switches (SMV)
Laboratory 7:    AFS Cache Coherence

Links

Course Schedule
Handouts
Homework
Project

Modified: October 2, 2001
Email the Maintainer