The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms...
Reliability Engineering Bundle
AI can write code. Testing can find bugs. Formal verification can prove properties. But how do you bring all three together without making software development unnecessarily complicated? This three-book bundle takes you from AI-assisted verification with Claude Code through practical testing and software quality to the foundations of formal verification, giving you a clear path toward building software you can actually trust.
Bought separately
$87.00
Minimum price
$45.00
$59.00
You pay
Author earns
The following 3 books are included in this bundle...
These books have a total suggested price of $87.00. Get them now for only $45.00!
About
About the Bundle
Building reliable software is becoming more challenging as development tools grow more powerful. AI can write code faster, but speed does not remove the need to understand, test and verify what that code actually does. At the same time, formal verification is becoming more practical for engineers who want stronger guarantees than traditional testing can provide.
This three-book bundle brings together practical approaches to software verification, AI-assisted development and formal methods. It is designed for software engineers who want to build a more reliable development process without treating any tool or technique as a magic solution.
Automating Software Logic Verification with Claude Code shows you how to use Claude Code as a reasoning partner when examining software logic. It combines AI-assisted analysis with deterministic verification tools and human judgment, giving you practical workflows, prompts and examples that can be applied to real projects.
AI-Generated Code: Verification, Testing and Software Quality focuses on the growing challenge of reviewing and maintaining code produced with generative AI. It covers verification, testing, security, governance, CI/CD and the wider software lifecycle, helping teams introduce AI into development without losing control over quality or engineering standards.
Formal Verification for Working Software Engineers takes a practical approach to formal methods. Starting with the fundamentals, it shows how to define precise properties, select appropriate verification techniques, work with modern tools and bring machine-checkable guarantees into production development.
Together, these books provide a practical path from AI-assisted code review and testing to deeper forms of software verification. Whether you are experimenting with AI coding tools, responsible for software quality or ready to explore formal methods, this bundle gives you the concepts and hands-on techniques needed to make verification a normal part of engineering work.
Books
About the Books
Automating Software Logic Verification with Claude Code
A Beginner-to-Advanced Practical Guide
This book teaches you how to use Claude Code, Anthropic's agentic coding assistant, to systematically verify the correctness of software logic across real-world projects. You will learn a disciplined methodology that treats AI as a reasoning collaborator rather than an oracle, combining Claude Code's analytical capabilities with deterministic verification tools and human expertise. Whether you are new to software verification or experienced in testing and quality assurance, this guide takes you from fundamental concepts through production-scale workflows, providing concrete prompts, configurations, examples, and techniques you can apply immediately.
AI-Generated Code: Verification, Testing and Software Quality
A Practical Engineering Guide for Safely Adopting Generative AI in Software Development
This book provides software engineering teams with the frameworks, tools, and practices needed to safely adopt, verify, test, secure, govern, and operate code produced or substantially assisted by generative AI systems. It covers the complete software lifecycle from requirements through retirement, with working examples, realistic pipelines, language-specific guidance, security analysis, organizational policies, CI/CD integration, and a practical end-to-end adoption blueprint. The book assumes working knowledge of software development and testing but does not assume AI or machine learning expertise. Every chapter is grounded in current evidence rather than vendor marketing or speculation.
Formal Verification for Working Software Engineers
From First Principles to Production-Grade Verified Systems
This is a practical guide to formal verification written for software engineers who know how to write production code but have never used formal methods. You will learn to express precise properties about your software, choose the right verification technique for each problem, and integrate mathematical guarantees into real development workflows. By the end, you will be able to identify high-value verification targets, construct machine-checkable specifications, interpret solver results and counterexamples, develop proofs using modern tools, and progressively introduce formal verification into systems ranging from ordinary application code to concurrent, distributed, and security-critical software.
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned over $15 million writing, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Write and Publish on Leanpub
You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!
Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.
Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.