LTL vs. CTL
- From: sasha mal <sashaDOTmal@xxxxxxxxxxxxx>
- Date: Mon, 28 Jan 2008 20:14:58 +0100
Dear all,
Let f be a CTL formula ang g an LTL formula (both without past
modalities). Assume that there is an infinite transition system T (in
which each state has a successor) that separates f and g, i.e. T is a
model of f, but not of g, or T is a model of g, but not of f. Is there a
finite transition system (in which each state has a successor) that
separates g and f?
Any ideas are welcome.
Thanks and best regards
Sasha.
.
- Prev by Date: Re: real analysis question
- Next by Date: Re: real analysis question
- Previous by thread: real meaning of tangent
- Next by thread: design of machinery 3rd ed by norton
- Index(es):
Relevant Pages
|
