そもそもテストとは何なのか？テストを一言で言うのは難しい．なぜなら，テストはいくつかの側面をもつからである．以下にテストが果たす役割の側面について考える．論文や新しいテスト技法を考えた時には，それがテストのどの側面に貢献するものなのかをこ…

Definition [Positive Normal Form (release PNF)]For a ∈ AP, LTL formulae in release positive normal form (release PNF, or simply PNF) are given by ϕ ::= true | false | a | ¬a | ϕ ∧ ϕ | ϕ ∨ ϕ | ○ϕ | ϕ U ϕ | ϕ R ϕ