[owickstrom]

Thanks, glad you like it! Do you mean the temporal logic aspect of it?

[logicprog]

Yeah, the temporal logic aspect of it is exactly what I was referring to :)

[owickstrom]

Cool. I think that is a very neat way of expressing properties of UIs (and stateful systems more generally) that works out nicely in testing. There are some gotchas related to the finiteness of testing, but it's manageable.