「n-switch網羅」において、n=0の場合の網羅対象はどれか。

2026年3月26日

0-switch網羅は、状態遷移図におけるすべての有効な単一の遷移を少なくとも1回実行することを意味する。

分散システムにおいて、一部のノードが停止してもシステム全体として正しい結果を返し続ける特性はどれか。

シンボリック実行（Symbolic Execution）が、通常の静的解析よりも優れている点はどれか。