Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with software-verification
A curated list of projects in awesome lists tagged with software-verification .
https://github.com/nasa-sw-vnv/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 30 Sep 2024
https://github.com/NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 01 Aug 2024
https://github.com/satyendrabanjare/plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq entrepreneurship formal-methods formal-verification ideas ideasworthsharing programming-language-theory quantum-programming-language research-data research-paper research-software-engineering sat-solver smt-solver software-verification startup z3
Last synced: 27 Sep 2024
https://github.com/janislley/lsverifier
LSVerifier - Large Systems Verifier
bounded-model-checking c-language formal-verification model-checking open-source-software security-vulnerabilities software-verification
Last synced: 29 Sep 2024
https://github.com/hacker-code-j/software-verification
first-order-logic ocaml propositional-logic software-verification
Last synced: 29 Sep 2024