GitHub topics: automatic-verification
AliveToolkit/alive2
Automatic verification of LLVM optimizations
Language: C++ - Size: 6.32 MB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 905 - Forks: 116
matiashrnndz/programming-logic-with-dafny
Tesis: Lógica de Programación con Dafny
Language: Dafny - Size: 809 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
matiashrnndz/programming-logic-with-key-n-dafny
Lógica de Programación con KeY y Dafny
Language: Java - Size: 641 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
juletx/MFDS
Métodos Formales de Desarrollo de Software
Language: Dafny - Size: 6.52 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
GiacomoFerro/executable-analysis-ggfm
An analysis of a program to verify the correctness
Language: C - Size: 329 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
