Examples

This is a curated list of Alloy4Fun examples.

• Mobile phone
• Course enrolment management
• Dynamic memory manager
• Online auction system
• Java class system
• Academic reviewing system
• CV management platform
• Automated production line