Ok, the review quoted below may be biased, but the Solibri product is worth keeping in mind. They also make a free IFC Optimizer that can be useful when moving a model from ArchiCAD into Revit.
Navisworks is now an Autodesk product, with a vast sales and marketing machinery to boost its implementation, so this is understandable. But Solibri Model Checker does so much more than Navisworks, and while it has its share of success stories, especially in Europe where Solibri is based, it does not enjoy the perception of near-ubiquitous adoption that an application like Navisworks has, at least in the US. Solibri Model Checker is gaining some momentum in FIATECH and the GSA, which is promising.
|Image from AECbytes review page|