SEARCH
You are in browse mode. You must login to use MEMORY

   Log in to start


From course:

ingegneria del software

» Start this Course
(Practice similar questions for free)
Question:

Vantaggi dei metodi di verifiica formali?

Author: federico volpe



Answer:

Efficacia: i metodi formali possono essere molto efficaci nel dimostrare l'assenza di anomalie nel prodotto finale. Questo perché si basano su un approccio logico che può essere molto potente. Completezza: i metodi formali possono essere utilizzati per dimostrare la correttezza di proprietà complesse. Questo perché non sono limitati a verificare le proprietà che possono essere verificate tramite l'esecuzione del programma.


0 / 5  (0 ratings)

1 answer(s) in total