Explore projects
-
Adam Rogalewicz / broom
GNU General Public License v3.0 or laterA Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated
A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning