TraX

TraX (Trace eXplorer) is a tool dedicated to the analysis of traces of concurrent distributed systems. Such traces are modeled as partial ordered set of events (variable assignments). TraX uses a symbolic approach in order to reduce testing/monitoring time.

People involved in this project: Bram De Wachter Alexandre Genon Thierry Massart Cédric Meuter

Papers

• Efficient online monitoring of LTL properties for asynchronous distributed systems, Thierry Massart and Cédric Meuter Technical report, 2006 [ Tech. Rep. / / ]
• Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model check traces, Alexandre Genon, Thierry Massart and Cédric Meuter, accepted for publication in the 14^th International Symposium on Formal Methods (FM'06), Hamilton (Canada), August 14-15, 2006 [ Article / / ]

Download

		Sources	:	trax-0.3-src.tgz
		Linux Binaries	:	trax-0.3-linbin.tgz
		MacOS X Binaries	:	trax-0.3-osxbin.tgz