Loading article…
コンピュータサイエンスにおいて、状態空間列挙は、到達可能な各プログラム状態を考慮して、プログラムが特定のプロパティを満たしているかどうかを判断する方法です。 [1]プログラムのサイズと複雑さが増すにつれて、状態空間は指数関数的に大きくなります。これらの方法で使用される状態空間は、分析に関連する状態空間の部分のみを維持することで削減できます。ただし、状態とメモリの削減技術を使用すると、実行時間が大きな制限要因になります。[2]
参照
参考文献
- ^ 「並行プログラムのためのコンパクトなペトリネット表現」、Matthew B. Dwyer、Lori A. Clarke、Kari A. Niesy、マサチューセッツ大学コンピュータサイエンス学部、アマースト アマースト、MA 01003
- ^ 「ペトリネットの応用と理論に関する会議の議事録：ソフトウェア工学と防衛システムにおける形式手法 - 第 12 巻」、ACM 国際会議議事録シリーズ、第 145 巻、Marko Mäkelä、ヘルシンキ工科大学理論計算機科学研究所、エスポー、フィンランド