ENDURE Examples&Verification Manual