Login

Stanley, William

Software Verification and Analysis

Stanley, William - Software Verification and Analysis, ebook

78,10€

Ebook, PDF with Adobe DRM
ISBN: 9781848822405
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

2. Why Not Write Correct Software the First Time?
Janusz Laski, William Stanley

3. How to Prove a Program Correct: Programs Without Loops
Janusz Laski, William Stanley

4. How to Prove a Program Correct: Iterative Programs
Janusz Laski, William Stanley

5. Prepare Test for Any Implementation: Black-Box Testing
Janusz Laski, William Stanley

6. Intermediate Program Representation
Janusz Laski, William Stanley

7. Program Dependencies
Janusz Laski, William Stanley

8. What Can One Tell About a Program Without Its Execution: Static Analysis
Janusz Laski, William Stanley

9. Is There a Bug in the Program? Structural Program Testing
Janusz Laski, William Stanley

10. Dynamic Program Analysis
Janusz Laski, William Stanley

Keywords: Computer Science, Programming Techniques, Software Engineering, Software Engineering/Programming and Operating Systems

Author(s)
 
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781848822405

Similar titles