Explore projects

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

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

Commercial Aerospace Modeling Set

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).

Eclipse Task Executor

Maven projects for building Eclipse Update Sites containing Maven libraries transformed into Eclipse plugins.