Joachim Durchholz wrote:
> of no assertion language that can express such temporal relationships,
> and even if there is (I'm pretty sure there is), I'm rather sceptical
> that programmers would be able to write correct assertions, or correctly
> interpret them - temporal logic offers several traps for the unwary.
FWIW, this is exactly the area to which LOTOS (Language Of Temporal
Orderering Specifications) is targetted at. It's essentially based on
CSP, but somewhat extended. It's pretty straightforward to learn and
understand, too. Some have even added "realtime" constraints to it.
--
Darren New / San Diego, CA, USA (PST)
This octopus isn't tasty. Too many
tentacles, not enough chops.
--
http://mail.python.org/mailman/listinfo/python-list
