
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: Open Source Test Automation Framework
Founded: 2011
Primary Use: Mobile app testing automation
Supported Platforms: iOS, Android, Windows

Description: RM Bridge is open-source software that allows you to remotely access and control Raspberry Pi computers. It provides a simple user interface to manage multiple Pi devices over a network.
Type: Cloud-based Test Automation Platform
Founded: 2015
Primary Use: Web, mobile, and API testing
Supported Platforms: Web, iOS, Android, API