How Solutions are verified?

@daira @str4d How solutions which I send to nodes are verified? Any explanation or link to sample code would be great.