AliveToolkit / alive2 Star 922 Code Issues Pull requests Discussions Automatic verification of LLVM optimizations llvm verification symbolic-execution model-checking smt llvm-ir translation-validation automatic-verification Updated Jun 25, 2025 C++
juletx / MFDS Star 1 Code Issues Pull requests Métodos Formales de Desarrollo de Software software-development dafny formal-verification automatic-verification Updated Jan 8, 2021 Dafny
matiashrnndz / programming-logic-with-key-n-dafny Star 0 Code Issues Pull requests Lógica de Programación con KeY y Dafny algorithms key invariants dafny verification-methodologies code-verification automatic-verification Updated Aug 14, 2023 Java
matiashrnndz / programming-logic-with-dafny Star 0 Code Issues Pull requests Tesis: Lógica de Programación con Dafny algorithms invariants dafny code-verification automatic-verification Updated Sep 6, 2021 Dafny
GiacomoFerro / executable-analysis-ggfm Star 0 Code Issues Pull requests An analysis of a program to verify the correctness verify analysis automatic-verification dinamic-analysis Updated Mar 10, 2019 C