Software Verification and Analysis: An Integrated, Hands-On Approach by William Stanley, Janusz Laski

Software Verification and Analysis: An Integrated, Hands-On Approach

William Stanley, Janusz Laski

234 pages • missing pub info (editions)

nonfiction computer science informative medium-paced
Powered by AI (Beta)
Loading...

Description

"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 for assessing and, if possible, improving software quality, specifically its correctness. Th...

Read more

Community Reviews

Loading...

Content Warnings

Loading...