Tools and Algorithms for the Construction and Analysis of Systems
| Author | : C.R. Ramakrishnan |
| Publisher | : Springer |
| Total Pages | : 533 |
| Release | : 2008-04-03 |
| ISBN-10 | : 9783540788003 |
| ISBN-13 | : 354078800X |
| Rating | : 4/5 (00X Downloads) |
Book Synopsis Tools and Algorithms for the Construction and Analysis of Systems by : C.R. Ramakrishnan
Download or read book Tools and Algorithms for the Construction and Analysis of Systems written by C.R. Ramakrishnan and published by Springer. This book was released on 2008-04-03 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.