Published February 3, 2022
| Version v2.0
Software
Open
brick-tool-dev/BRICK-2.0: Brick v2.0
Description
BRICK: A Verifier for C code
Files
brick-tool-dev/BRICK-2.0-v2.0.zip
Files
(1.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:750278af3d342c1902e6a15afd4ef6e0
|
1.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/brick-tool-dev/BRICK-2.0/tree/v2.0 (URL)