Flashcards
INTRODUCTION TO FORMAL METHODS
Flashcards do conjunto (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
Informações
- Descrição
- Sem 1 CO1123 Formal Methods for Problem Solving (INTRODUCTION TO FORMAL METHODS) FlashCards sobre INTRODUCTION TO FORMAL METHODS, criado por Thuvaragan Parameshwaran em 17-06-2022.
- Criado por
- Thuvaragan Parameshwaran · jun 2022
- Atualizado
- 17 jun 2022
- Visualizações
- 4
- Tags
- Avaliação