CTL Question

8 views
Skip to first unread message

Tina Wang

unread,
Dec 13, 2011, 2:32:25 AM12/13/11
to CPSC410-2011
For Question 7 in our Final Study Questions,

If Question 3 was AX(total > 0) and AX(AX(AX(total < 0))), would
Overdrawn be the answer since after three states total < 0 becomes
true?

Tina Wang

unread,
Dec 13, 2011, 3:26:18 AM12/13/11
to CPSC410-2011
Also, does EX(EX(EX(total < 0))) mean that there is a path where total
< 0 is true within (including) 3 states or does it mean 3 or more
states?

Thanks,
Tina

Eric Wohlstadter

unread,
Dec 14, 2011, 6:54:51 PM12/14/11
to cpsc41...@googlegroups.com
It means in exactly 3 states.

Eric
Reply all
Reply to author
Forward
0 new messages