PyPI page
Home page
Author:
Thales Silva / Janislley Oliveira / Bruno Farias
License:
MIT
Summary:
This open-source tool streamlines software verification by allowing the simultaneous assessment of extensive files and functions in a single run. By leveraging the ESBMC module, it enhances vulnerability detection and reinforces software security.
Latest version:
0.3.0
Required dependencies:
tqdm
Downloads last day:
4
Downloads last week:
8
Downloads last month:
21