TLA+ vs xxx

This page describes how does TLA+ compare to over specification and model checking tools.