As your Lab for this module, please read the article in wikipedia http://en.wikipedia.org/wiki/Specification_language. You may also want to look at http://homepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/ch18-I.pdf for more background on program correctness. Write a two paragraph summary of the article.