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