
Description: Midas GTS NX is 3D CAD software used for industrial design and manufacturing. It offers tools for solid modeling, surfacing, drafting, data exchange, and more. Key features include hybrid modeling, direct modeling, parametric capabilities, and collaborative design tools.
Type: Open Source Test Automation Framework
Founded: 2011
Primary Use: Mobile app testing automation
Supported Platforms: iOS, Android, Windows

Description: SDC Verifier is a formal verification tool used to prove correctness of SystemVerilog designs. It can mathematically prove assertions, check for dead code, and perform other advanced analysis.
Type: Cloud-based Test Automation Platform
Founded: 2015
Primary Use: Web, mobile, and API testing
Supported Platforms: Web, iOS, Android, API