Formal Methods in Software Engineering
Formal methods in general refer to the use of techniques from logic and discrete mathematics to specification, design, construction, and analysis of computer systems and software [Kelly, 1997; Storey, 1996]. In this chapter, we will give a short overview of the role of formal methods in the area of software engineering. Formal methods are very important in order to avoid incomplete, inconsistent and ambiguous requirements, specifications or system descriptions. In contrast to documents written in natural language, formal methods are based on formal languages (e.g., mathematical logic) and require the explicit and concise notation of all assumptions.
KeywordsModel Check Formal Method Theorem Prover Specification Language Proof Obligation
Unable to display preview. Download preview PDF.