Specification verification tool set

Summary
Final version of D2.5