Page "Model checking" Paragraph 13
from
Wikipedia
Formally, the problem can be stated as follows: given a desired property, expressed as a temporal logic formula p, and a structure M with initial state s, decide if.
Page 1 of 1.
2.093 seconds.