Karteikarten
INTRODUCTION TO FORMAL METHODS
Karten in diesem Stapel (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
Informationen
- Beschreibung
- Sem 1 CO1123 Formal Methods for Problem Solving (INTRODUCTION TO FORMAL METHODS) Karteikarten am INTRODUCTION TO FORMAL METHODS, erstellt von Thuvaragan Parameshwaran am 17/06/2022.
- Erstellt von
- Thuvaragan Parameshwaran · Jun 2022
- Aktualisiert
- 17 Jun 2022
- Aufrufe
- 4
- Tags
- Bewertung