Computation Engineering:: Formal Specification and Verification Methods

by Ganesh Gopalakrishnan

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...

• Format: Hardcover
• Language: English
• ISBN: 0387244190
• ISBN13: 9780387244198
• Release Date: January 2007
• Publisher: Springer
• Length: 400 Pages