This is a web-based tool for simulating network quality. Ideal for use with software routers on Linux platform. It focuses on simulating weak network (poor network) conditions, with built-in scenario models(3G, 4G, Wi-Fi, Starlink, etc.) and combinations of parameters such as packet loss, delay, jitter, and bandwidth limitation, etc.
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
