Rigorous Software Development

"Rigorous Software Development" is a specialized book that focuses on the application of mathematical methods in software development. It is aimed at professionals and students in computer science who wish to gain a deeper understanding of program verification and formal methods in software engineering. The book provides a comprehensive introduction to program verification using logic-based methods and presents these in the context of formal methods. It addresses the specification of the behavior of software components through contracts, leading to modular and independent verification of programs. The authors place particular emphasis on the connection between theoretical and practical aspects to impart a solid understanding of static program verification. The book only requires basic knowledge of standard mathematics and offers a self-contained introduction to propositional logic as well as predicate logic with theories.