• Title: Finding Your Way Through Formal Verification
• Author(s) Bernard Murphy, Manish Pandey, Rajeev Ranjan, Sean Safarpour
• Publisher: Independently published (February 2, 2023); eBook (Online Edition)
• Hardcover/Paperback 126 pages
• eBook PDF
• Language: English
• ISBN-10/ASIN: B0BV43CXBD
• ISBN-13: 979-8374027136
• Share This:  

Book Description

This book provides an introduction to Formal Verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you’re not yet sure it is right for your needs.

• N/A

• Amazon

• Software Engineering Principles and Practices
• Field Programmable Gate Arrays (FPGA)
• Hardware Description Language (HDL), VHDL, Verilog, etc.
• Electronics Circuit Design and Programming
• Electronic Engineering
• Embedded Systems Books

• Finding Your Way Through Formal Verification (Bernard Murphy, et al.)
• The Mirror Site (1) - PDF

• The Future of Software Quality Assurance (Stephan Goericke)

  This open access book Highlights the state of the art in software testing, as well as future challenges and trends, covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing.

• Circuit Design: Anticipate, Analyze, Exploit Variations

  Circuit Design = Science + Art! This book starts with best-practise manual methods and links them tightly to up-to-date automation algorithms. It provides many tractable examples and explain key techniques you have to know.

• Digital System Design - Use of Microcontroller

  This book concentrates on the use of a microcontroller as the Embedded System's processor and how to use it in many embedded system applications. It covers both the hardware and software aspects needed to design using microcontrollers.

• Digital Systems Design (Ramaswamy Palaniappan)

  This book provides readers with a fundamental understanding of digital system concepts such as logic gates for combinatorial logic circuit design and higher level logic elements such as counters and multiplexers.

• Test-Driven Development: Extensive Tutorial (Grzegorz Galezowski)

  If you're looking for a practical resource on Test-Driven Development this is the book for you. You've found a practical end-to-end guide that will help you implement Test-Driven Techniques for your software development projects.

• Software Fault Tolerance (Michael R. Lyu)

  Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This important book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.

• Handbook of Software Reliability Engineering (Michael R. Lyu)

  This book is the definitive guide to today's most-used software reliability techniques and solutions, contributed by the worlds leading reliability experts. It takes you step by step through software reliability measurement and prediction.

• Rethinking Productivity in Software Engineering (C. Sadowski, ...)

  This book covers definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity.

• The Essence of Software Engineering (Volker Gruhn, et al)

  This book offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso's experience applying these results in real-world projects.

• Real-World Maintainable Software (Abraham Marin-Perez)

  With this practical book, you'll learn 10 easy-to-follow guidelines for delivering Java software that’s easy to maintain and adapt. These guidelines have been derived from analyzing hundreds of real-world systems.

• O'Reilly® Test-Driven Development with Python (Harry Percival)

  By taking you through the development of a real web application from beginning to end, this hands-on guide demonstrates the practical advantages of test-driven development (TDD) with Python.