Concise Guide to Software Verification

Available
0
StarStarStarStarStar
0Reviews

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum:  from abstract system design to implementation...

Read more
E-book
pdf
Price
54.99 £ * Old Price 69.99 £

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum:  from abstract system design to implementation...

Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783031301674
  • Publication Date: 24 Jul 2023
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM