| Computation Engineering:: Formal Specification and Verification Methods Contributor(s): Gopalakrishnan, Ganesh (Author) |
|
 |
ISBN: 0387244190 ISBN-13: 9780387244198 Publisher: Springer OUR PRICE: $84.55 Product Type: Hardcover Published: December 2007 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Technology & Engineering | Electrical - Mathematics | Logic |
| Dewey: 004.015 |
| Physical Information: 400 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This title presents formal methods with a concentration on practical applications, thus acting as a fast-track introduction to modern formal specification and verification tools and techniques. In using this textbook, students are asked to design protocols, discover properties to state, and thus learn what exactly the whole process of formal verification involves. By inventing new concurrent protocols and then proving them correct, they are saved from simply re-visiting standard protocols, instead learning to think through the process for themselves. By using actual examples, students learn why certain methods work well, what they are lacking, and how to compare and contrast methods. Thus, they learn how to think rather than what to think. |