Cyclo.Req は要求仕様書を解析し，有限状態機械・SPARK/Adaコードを出力します．
文書から直接ふるまいを確認することができます．
2018 年 3 月に正式発売予定です．