Flashcards
INTRODUCTION TO FORMAL METHODS
Cards in this deck (3)
- 1What is formal methodsFormal methods are practical and precise way of solving problems
- 2Use cases of formal methodsApplied at various stages of the development cycle
Also used in reverse engineering to model and analyse existing
systems
Based on mathematics and symbolic logic - 3Why we use formal methods in software developmentFind more flaws and earlier
Information
- Description
- Sem 1 CO1123 Formal Methods for Problem Solving (INTRODUCTION TO FORMAL METHODS) Flashcards on INTRODUCTION TO FORMAL METHODS, created by Thuvaragan Parameshwaran on 17/06/2022.
- Created by
- Thuvaragan Parameshwaran · Jun 2022
- Updated
- Jun 17, 2022
- Views
- 4
- Tags
- Rating