Introduction to Alloy
Alloy is a rather skinny guy -- Alloy is a lightweight formal method
He wears a shirt and a tie since he has made it from the the pure modeling/research community also into small companies and is also used in larger research projects
He has an open and friendly look on his face since he is open for many problems and it is easy to get to know Alloy
He is not so muscular since in the brute force verification of larger systems he runs out of breath rather quickly
