Static Analysis of Software

Discover the intricate world of software evaluation with "Static Analysis of Software" by Jean-Louis Boulanger. Published in 2011 by ISTE Ltd and John Wiley & Sons Inc, this hardback book spans 331 pages and serves as an invaluable resource for both students and researchers. Unlike other literature that merely scratches the surface, Boulanger delves deeply into the practical applications of the formal techniques known as abstract interpretation.

Through real-world examples from industries such as railway, aeronautics, space, and automotive, this book not only enhances your understanding of static analysis but also showcases its critical role in quality control and debugging within computer science. Perfect for those looking to navigate the complexities of software testing and improve their knowledge of software quality assurance, "Static Analysis of Software" is a must-have addition to your library.