ラッシュ リエージュオートマトンベースシンボリックハンドラ（ラッシュ）
今すぐダウンロード

ラッシュ ランキングとまとめ

ラッシュ タグ

操作する 代表する 無限セットを表します 有限状態表現 オートマトンを操作します 無限集合

ラッシュ 説明

リエージュオートマトンベースシンボリックハンドラ（ラッシュ） Lashは、無限のセットを表し、無限状態のスペースを探索するためのツールセットです。 それは有限状態表現に基づいています。 これが「ラッシュ」の主な機能です。 Cライブラリ次のタスクを実行するための関数とデータ型を提供します。 ・いくつかの種類の有限状態オートマトンの構築と操作（有限語と無限の単語）。 ・無限および有限の値の操作と表現。 ・有限制御と、線形操作が行われる無制限の整数変数からなるシステムの状態空間を探索します。 フロントエンドの場合： ・Simple-PromelaとSimple-If言語で表現されたプログラムモデルをコンパイルし、これらのプログラムの状態空間を探索します。 ・プレスバーガ演算で表現された解決の問題を解決する。

ラッシュ 関連ソフトウェア