Examples

This is a curated list of Alloy4Fun examples.

• File system trash can
• Course enrolment management
• Graph properties
• Labelled transition system
• CV management platform
• Automated production line