スマートフォン用の表示で見る

Alloy

The Alloy Analyzer is a tool developed by the Software Design Group for analyzing models written in Alloy, a simple structural modeling language based on first-order logic.

http://alloy.mit.edu/