List of Famous Top books on Formal Methods in Software Engineering

List of Famous Top books on Formal Methods in Software Engineering

In this post, we will see a list of some famous books on formal methods in software engineering. 

S. No. Author name Book name
1 Gerard O’Regan Concise guide to formal methods
2 Jean-Francois Monin and M.G. Hinchey Understanding formal methods
3 John Wordsworth Software development with Z
4 Paul Boca & P. Bowen Formal Methods: State of art and new directions
5 Jonathan Jacky The way of Z: practical programming with formal methods
6 Ria Megnin Code in every class
7 Inc. Avid Pro tools Official Courseware
8 Michael Fisher An introduction to practical formal methods using temporal logic
9
Steve McConnel Software Project Survival Guide
10 Antoni  Diller An introduction to Formal methods
11 Michael Harrison & Harold Thimbleby Formal methods in human-computer interaction
12 Ramakrishna Reddy Confessions of a Software Techie
13 Marilyn Wolf Computers as Components
14 Butler, Michael Formal Methods, and Software engineering
15 C. Neville Dean & Michael G. Hinchey Teaching and Learning Formal Methods
16 Klaus Schneider Verification of Reactive Systems: Formal methods and algorithm
17 Marcel Vinicius Formal Methods: Foundations and applications
18 Sandeep Nagar Introduction to Scilab
19 Miro Samek
Practical UML Statecharts in C/C++
20 Doron A. Peled Software reliability methods
21 Juliano Iyoda & Leonardo de Moura Formal methods: Foundations and applications
22 Jean-Louis Boulanger Formal methods: Industrial Use from Model to Code
23 Giampaolo Bella Formal Correctness of Security Protocols
24 Dines Bjorner Software Engineering 3
25 David Makinson Sets, Logic and Maths for computing
26 J. R Abrial & A. Hoare The B-Book: Assigning programs to meanings
27 Howard Bowman and John Derrick Formal methods for Distributed Processing
28 Simone Cavalheiro & Jose Fiadeiro Formal Methods: Foundations and applications
29 Kevin Lano The B Language and method
30 Adenilso Simao & Carroll Morgan Formal methods: Foundations and applications