0
17 years of experience17 years of Excellence
SUBJECTS
ADV. SEARCH
Indian Books on Discounts
  Software Verification and Analysis: An Integrated, Hands-On Approach
 

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

by Laski

  Price : Rs 299.00
  Your Price : Rs 269.10
Discount
10
In Stock
  Emphasis is given to the integration of the most important aspects of software verification “ program proving, static analysis and testing, all in one book
Provides tool support for each of the verification techniques
Offers readers the ability to test their own static analysis ideas using STAD 4.0
Presents novel and not generally known data testing techniques supported by the testing tool
Focuses on the practical applications


This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models, are discussed:

Correctness by construction, using the Vienna Development Method-Specification Language (VDM-SL) and its supporting CSK`s Toolbox.
Static program analysis supported by the PRAXIS` SPARK toolset and SofTools` System for Testing And Debugging (STAD 4.0).
Program proving supported by SPARK.
Dynamic program analysis supported by STAD.


VDM-SL Toolbox and SPARK illustrate, respectively, the correctness by construction and program proving paradigms. The author demonstrates that while both methods are powerful, errors are inevitable and detecting these may be more difficult than in the case of an informally developed program. Consequently, error detection must be an integral part of the entire life cycle of a programming project. Black-Box (specification based) and Structural (code based) testing are covered and supported by STAD (including 5 testing criteria). STAD also features a quite powerful descriptive and proscriptive static analysis.

Software engineers, students and computer scientists will find that the book provides the reader with a comprehensive understanding of software verification issues. STAD`s outputs allow the user to implement and test their own ideas.
ISBN: 9788132204510
 


Pages : 252
Credit Cards
Payment accepted by All Major Credit and Debit Cards, Net Banking, Cash Cards, Paytm, UPI, Paypal. Our payment gateways are 100% secure.
Check Delivery
Books by Same Author
10%
Software Verification and Analysis: An Integrated, Hands-On Approach
by Laski
15%
Communism
by Harold J Laski
10%
LECTURES IN MACROECONOMICS:CAPITALIST ECONOMY WITHOUT UNEMPLOYMENT CLOTH
by LASKI
18%
An Introduction to Politics
by Harold J. Laski
15%
The Rise of European Liberalism : An Essay in Interpretation
by Harold J Laski
Books of Similar Interest
12%
Engineering Mathematics (Anna University)
by Prof. G.R. Thuvaraga Chari, Dr. M. Ayyappan, Dr. I. Christry Raj
10%
Nanotechnology and Nanoelectronics: Materials, Devices, Measurement Techniques
by Fahrner
15%
Fundamentals of Computational Fluid Dynamics
by Sengupta, Tapan K.
10%
Manufacturing System Engineering
by Hitomi
Numerical Analysis in Engineering , Revised Edition
by R. B. Bhat, S. Chakraverty
Best Book Mart
Support

Call Us Phone : +91-9266663909
Email Us Email : support [at] bestbookmart.com
Working Hours Timing : 10:00 AM to 6:00 PM (Mon-Fri)
Powered By
CCAvenue
SSL Protection