Formal Methods

時相論理（temporal logic）は、データストリーム内のパターンを表現するために使用できます。本稿では、パターンそのものがストリーム内のデータに依存して変化するような、時相論理の派生型について検討します。（ブログ本文は英語です）