Computation Engineering:: Formal Specification and Verification Methods

Szerző: Ganesh Gopalakrishnan

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer Verlag GmbH

Elérhetőség: 50 % esély

Keressük az egész világon

37 340 Ft

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often...

Információk a könyvről

Szerző

Ganesh Gopalakrishnan

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2007

oldal

400

EAN

9780387244198

ISBN

0387244190

Enbook ID

11409193

Kiadó

Springer Verlag GmbH

Teljes leírás

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Methods 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. By using a wide array of puzzles, problems, industry case studies, and a variety of varification tools, students have the opportunity to learn from experience rather than rote memorization. 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. TOC:-Introduction -Overview -Promela, SPIN Verification, and Linear-time Temporal Logic -SPIN case study -Murphi Language -Murphi Case Study -NuSMV Model-Checker and BDDs -Boolean Satisfiability and Bounded Model-checking -Software Verification Methods: Blast and Java Path Finder

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Computation Engineering:: Formal Specification and Verification Methods

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták