Execution of TILCO temporal logic specifications
Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings.
Temporal logics are able to describe temporal con-straints amongst events and actions, as invaria... more Temporal logics are able to describe temporal con-straints amongst events and actions, as invariance, prece-dence, periodicity, repeated occurrences, liveness and safety conditions. They are typically used to verify proper-ties in the requirements analysis, in order to describe ...
Uploads
Papers by P. Bellini