Static Analysis of Software

The Abstract Interpretation



Bookstore > Books > Static Analysis of Software

Price$144.99 - $215.83
Rating
AuthorJean-Louis Boulanger
PublisherWiley
Published2011
Pages342
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-101848213204
ISBN-139781848213203
EBook Hardcover Paperback

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems.



Similar Books


An Introduction to the Analysis of Algorithms, 2nd Edition

An Introduction to the Analysis of Algorithms, 2nd Edition

by Robert Sedgewick, Philippe Flajolet

Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, 2ond Edition, organizes and presents that knowledge, fully introducing primary techniques and results in th...

Price:  $62.99  |  Publisher:  Addison-Wesley  |  Release:  2013

The Art of Software Testing, 3rd Edition

The Art of Software Testing, 3rd Edition

by Glenford J. Myers, Corey Sandler, Tom Badgett

The hardware and software of computing have changed markedly in the three decades since the first edition of The Art of Software Testing, but this book's powerful underlying analysis has stood the test of time. Whereas most books on software testing target particular development techniques, languages, or testing methods, The Art of S...

Price:  $134.99  |  Publisher:  Wiley  |  Release:  2011

Dynamic System Reliability

Dynamic System Reliability

by Liudong Xing, Gregory Levitin, Chaonan Wang

This book focuses on hot issues of dynamic system reliability, systematically introducing the reliability modeling and analysis methods for systems with imperfect fault coverage, systems with function dependence, systems subject to deterministic or probabilistic common-cause failures, systems subject to deterministic or probabilistic comp...

Price:  $107.51  |  Publisher:  Wiley  |  Release:  2019

Software Development From A to Z

Software Development From A to Z

by Olga Filipova, Rui Vilao

Understand the big picture of the software development process. We use software every day - operating systems, applications, document editing programs, home banking - but have you ever wondered who creates software and how it's created? This book guides you through the entire process, from conception to the finished product with the ...

Price:  $31.32  |  Publisher:  Apress  |  Release:  2018

Practical Forensic Analysis of Artifacts on iOS and Android Devices

Practical Forensic Analysis of Artifacts on iOS and Android Devices

by Mohammed Moreb

Leverage foundational concepts and practical skills in mobile device forensics to perform forensically sound criminal investigations involving the most complex mobile devices currently available on the market. Using modern tools and techniques, this book shows you how to conduct a structured investigation process to determine the nature o...

Price:  $41.49  |  Publisher:  Apress  |  Release:  2022

Fundamentals of Software Architecture

Fundamentals of Software Architecture

by Mark Richards, Neal Ford

Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This book provides the first comprehensive overview of software architecture's many aspects. Aspiring and existing architects alike will examine architectural characteristics, ...

Price:  $33.39  |  Publisher:  O'Reilly Media  |  Release:  2020

The Nature of Software Development

The Nature of Software Development

by Ron Jeffries

You need to get value from your software project. You need it "free, now, and perfect." We can't get you there, but we can help you get to "cheaper, sooner, and better." This book leads you from the desire for value down to the specific activities that help good Agile projects deliver better softwa...

Price:  $21.07  |  Publisher:  The Pragmatic Programmers  |  Release:  2015

Rhetorical Code Studies

Rhetorical Code Studies

by Kevin Brock

Software developers work rhetorically to make meaning through the code they write. In some ways, writing code is like any other form of communication; in others, it proves to be new, exciting, and unique. In Rhetorical Code Studies, Kevin Brock explores how software code serves as meaningful communication through which software developers...

Price:  $50.00  |  Free ebook  |  Publisher:  Self-publishing  |  Release:  2019