{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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.

{[ snackBarMessage ]}

Ask a homework question - tutors are online