Alloy4 Tutorial - Alloy4 Tutorial...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Alloy 4 Tutorial Materials Tutorial Slides: Session 1 - Intro & Logic ( ODP ) ( PDF ) Session 2 - Language & Analysis ( ODP ) ( PDF ) Session 3 - Static Modeling ( ODP ) ( PDF ) Session 4 - Dynamic Modeling ( ODP ) ( PDF ) files with the ".odp" extension can be opened with OpenOffice Exercises Properties of Binary Relations ( properties.als ) Refactoring Navigation Expressions ( distribution.als ) Modeling the Tube ( tube.als ) I'm My Own Grandpa ( grandpa.als ) Barber Paradox ( barber.als ) Address Book ( addressBook.als ) Leader Election in a Ring (
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/24/2012 for the course CSE 503 taught by Professor Davidnotikin during the Spring '11 term at University of Washington.

Ask a homework question - tutors are online