Rigorous Software Development

Rigorous Software Development

An Introduction to Program Verification

Versandkostenfrei!
Versandfertig in 6-10 Tagen
83,99 €
inkl. MwSt.
PAYBACK Punkte
42 °P sammeln!
Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended.This book provides a comprehensive introduction to program verification, combining theoretical foundations with practical applications using real-world tools. It offers a self-contained overview of propositional logic and first-order reasoning with th...