In the following we sum up and discuss the According to RTCA DO formal method = formal model + formal analysis. What is a formal model? Department of Computer Science and Engineering This textbook introduces formal methods, presenting formal modelling languages based on logic and process algebra, and then addressing specification, verification, and testing pected from the use of formal methods?” have been largely debated in the Software Engineering community [31,,,,]. We will learn several fo