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
Stars: 37
Forks: 6
Open issues: 0
License: apache-2.0
Language: Boogie
Size: 21.9 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: 11 months ago
Pushed at: about 2 years ago
Last synced at: about 1 month 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