Temporal logic Flashcards
1
Q
notation ⟨σ, i⟩ ⊨ φ means?
σ?
i?
A
state ⟨σ, i⟩ satisfies the formula φ
The current state or configuration of the system.
The step or time index in the execution of a system
2
Q
⟨σ, i⟩ ⊨ φ ∧ ψ
A
The conjunction of two formulas φ and ψ holds true if both φ and ψ are true in the state.
Example: “The system is ON AND the temperature is below 100°C.”
3
Q
Rewrite path path pi : c -> b -> a ->…
A
<σ, 0> ⊨ c ∧ N b ∧ N N a
