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, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: * Covers a broad spectrum of software verification techniques, from model checking to annotation checking * Provides numerous examples to demonstrate the techniques * Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented.
save
₹1,886.00
Concise Guide to Software Verification: From Model Checking to Annotation Checking
10-12 Days Shipping (Supply on Demand) Advance payment (not refundable)
₹5,657.00₹7,543.00
Only 1 left in stock
| Weight | 1 kg |
|---|---|
| Book Author | Huisman |
| Edition | 1st |
| Format | Hardback |
| ISBN | 9783031301667 |
| Language | English |
| Pages | 260 |
| Publication Year | |
| Publisher |
Customer Reviews
There are no reviews yet.
Related products
-
Information Systems Today
₹2,963.00The Eighth Edition explores how the rise of mobile computing, cloud computing, social media, the Internet of Things, and Big Data affect information systems. Valacich and Schneider continue to use real-world examples to further illustrate key points and help students retain valuable insights.
₹6,891.00 -
Web Development and Design Foundations with HTML5
₹3,434.00An emphasis on hands-on practice guides students, as the text introduces topics ranging from configuration and layout to accessibility techniques and ethical considerations. The 8th Edition contains updated coverage of HTML5 and CSS, expanded coverage of designing for mobile devices, and more.
₹7,985.00 -
Artificial Intelligence and Soft Computing: Behavioral and Cognitive Modeling of the Human Brain
₹6,652.00With all the material available in the field of artificial intelligence (AI) and soft computing-texts, monographs, and journal articles-there remains a serious gap in the literature. Until now, there has been no comprehensive resource accessible to a broad audience yet containing a depth and breadth of information that enables the reader to fully understand and readily apply AI and soft computing concepts.
₹20,786.00 -
Oracle Embedded Programming and Application Development
₹6,749.00Bulusu is a database programming expert and the author of six books about Oracle as well as numerous journal articles on database programming. Annotation ©2010 Book News, Inc., Portland.
₹20,450.00 -
Corporate Computer Security
₹3,668.00This edition includes more of a focus on the business applications of the concepts. Emphasis has been placed on securing corporate information systems, rather than just hosts in general. Keep Your Course Current and Relevant: New examples, exercises, and research findings appear throughout the text.
₹8,150.00 -
Data Mining and Predictive Analysis: Intelligence Gathering and Crime Analysis
₹3,014.00Data Mining and Predictive Analysis: Intelligence Gathering and Crime Analysis, 2nd Edition, describes clearly and simply how crime clusters and other intelligence can be used to deploy security resources most effectively.
₹6,850.00 -
IP Telephony Interconnection Reference
₹6,160.00Among the first books to present information on interprovider communications and interconnection of IP telephony clouds, the text supplies a clear and up-to-date picture of the VoIP protocol jungle.
- Provides detailed guidance on how to implement VoIP interconnect services
- Presents an overview of deployed architectures in fixed and mobile networks used for interconnection and roaming purposes
- Enumerates regulatory issues with a focus on Europe and the United States
- Proposes interconnection models
- Suggests viable solutions to technical issues
This reference supplies an overview of interconnection practices in PSTN/mobile. It proposes solutions for overcoming service engineering issues and includes a set of recommendations to ease the proliferation of interconnection agreements and schemes. Keeping you up to speed with recent developments in IP telephony, the book facilitates the understanding of the technical and regulatory requirements needed to provide global services to your customers and successfully navigate the upcoming migration to a completely IP-based model.
₹13,999.00 -
Mobile Satellite Communications Handbook 2e
₹5,526.00With a Preface by noted satellite scientist Dr. Ahmad Ghais, the Second Edition reflects the expanded user base for this technology by updating information on historic, current, and planned commercial and military satellite systems and by expanding sections that explain the technology for non-technical professionals.
₹12,850.00
Be the first to review “Concise Guide to Software Verification: From Model Checking to Annotation Checking”