Revit, ArchiCAD, and Tekla Structures are authoring tools; Navisworks and Solibri are not - they federate and review what authoring tools already built. Knowing which category a piece of software falls into explains why a clash report from Navisworks still has to be fixed back in the authoring model, not in Navisworks itself.