automatic-verification

There are 5 repositories under automatic-verification topic.

AliveToolkit/alive2
Automatic verification of LLVM optimizations
Language:C++977 26 561128
juletx/MFDS
Métodos Formales de Desarrollo de Software
Language:Dafny1 2 0
matiashrnndz/programming-logic-with-dafny
Tesis: Lógica de Programación con Dafny
Language:Dafny0 1 00
matiashrnndz/programming-logic-with-key-n-dafny
Lógica de Programación con KeY y Dafny
Language:Java0 1 00
GiacomoFerro/executable-analysis-ggfm
An analysis of a program to verify the correctness
Language:C0 01