Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin

Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failu

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are

Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools f