generated at
SPINモデルチェッカ
SPIN model checker
SPINモデルチェッカ - Wikipedia