SPARK formal verification automated with Travis CI
Repository Index
68,760 visible repositories in the index
1–2 of 2 · Most stars
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.