parsing - z 記法コンパイラ、パーサー、またはインタープリターを見つけるにはどうすればよいですか?

Question

z 記法パーサーまたはコンパイラーを見つける必要があります。できれば助けてください。

Answer 1

Community Z Toolsをチェックしてください。

Community Z Tools Project (CZT): Z 仕様および関連する表記法を編集、タイプチェック、アニメーション化するためのツール。フォーマル メソッド ツールを構築するための Java フレームワークが含まれています。