List of Famous Top books on Formal Methods in Software Engineering

By Prof. Fazal Rehman Shamil
Last modified on April 18th, 2020

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

 

Prof.Fazal Rehman Shamil (Available for Professional Discussions)
1. Message on Facebook page for discussions,
2. Video lectures on Youtube
3. Email is only for Advertisement/business enquiries.