Explore projects

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

A tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).