Automated program verification 1 Automation 1 Eclipse Integrated Development Environment 1 Eclipse plug-in 1 Education 1 Formal methods 1 Industrial adoption 1 Introductory programming course 1 Plug-ins 1 Program compilers 1 Reasoning about programs 1 Semantics 1 Software verification 1 Verification 1 Verifying compilers 1 Web services 1 automated program verification 1 education 1 formal methods 1