Model Checking - What Tools Do You Use?

Working on updating my Modeling checking presentation for RTC EU. There are a lot of good model checking tools on the market including but not limited to:

• Autodesk Revit Model Review
• Autodesk Model Checker for Revit
• BIMAssure
• Assemble Systems Insight
• Solibri

I am interested in hearing about other tools that people might be using for model checking in addition to those listed above.