時間論理とオートマトン理論時間論理とオートマトン理論の出会い。ソフトウェア検証のための効率的な翻訳方法形式言語とオートマトン理論時間論理をオートマトンに翻訳する過去演算子を持つ線形時間論理を決定性ラビン自動機に翻訳する方法。2025-08-14T08:51:18+00:00 ― 1 分で読む