7 Jul
2016
7 Jul
'16
2:25 p.m.
yes, sorry, just realized that it works for other formulas:
here is the formula:
link:
https://spot.lrde.epita.fr/trans.html#f=((F+(b+%26%26+G+F+a)+%7C%7C+F(c+%26…
formula:
((F (b && G F a) || F(c && G F !a)) && F b && F c)
<-> GF p0
regards,
ayrat
On Thu, Jul 7, 2016 at 5:13 PM, Alexandre Duret-Lutz <adl(a)lrde.epita.fr>
wrote:
On Thu, Jul 7, 2016 at 1:59 PM, Ayrat <ayrat.khalimov(a)iaik.tugraz.at>
wrote:
hi there,
smth is wrong with online translator for LTL3BA -- see message below.
Thanks for amazing web-page!
Dear Ayat,
Thank you for the report. Do you remember what formula you translated?
(I tried a few formulas without being able to reproduce the error.)
_______________________________________________
Spot mailing list
Spot(a)lrde.epita.fr
https://lists.lrde.epita.fr/listinfo/spot