The Alloy Language and Tools
spdegabrielle