The goal of VerifyIDE is to develop an IDE for program verification in educational settings. VerifyIDE does not aim at an advanced IDE like Netbeans or Eclipse. It focuses on simplicity and extensiability.
These details are provided for information only. No information here is legal advice and should not be used as such.