Skip to content

GitLab

Explore

Sign in

Tomáš Dacík
broom

B

broom

Project information

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

857 Commits
6 Branches
1 Tag

README
GNU General Public License v3.0 or later

Created on

January 19, 2023

Copy SSH clone URLgit@pajda.fit.vutbr.cz:xdacik00/broom.git
Copy HTTPS clone URLhttps://pajda.fit.vutbr.cz/xdacik00/broom.git