A version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.