Testing Temporal Logic Properties in Distributed Systems

Authors:
Falk Dietrich;Xavier Logean;Shawn Koppenhoefer;Jean-Pierre Hubaux
Affiliations:
-;-;-;-
Venue:
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Year:
1998

Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Run-time monitoring of distributed applications

Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
An automata-based approach to property testing in event traces

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems

Hi-index	0.00