GitHub / codersguild / Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2FSoftware-Analysis-PAVT
PURL: pkg:github/codersguild/Software-Analysis-PAVT
Stars: 37
Forks: 6
Open issues: 0
License: apache-2.0
Language: Boogie
Size: 21.9 MB
Dependencies parsed at: Pending
Created at: about 5 years ago
Updated at: about 1 year ago
Pushed at: over 2 years ago
Last synced at: 5 months ago
Topics: analysis, boogie, cbmc, cvc4, dafny, dynamic-taint-analysis, fuzzing, hacktoberfest, hacktoberfest2021, hoare-logic, llvm, sudoku-solver, uclid, uclid5, verification, z3-smt-solver, z3py