Verificació formal de Mentor

[ljkong]

Els efectes de la Jerarquia de
Temps de depuració en el sector formal de Verificació
Eines amb i sense
Descomposicionales de Verificació

 

[outlook3000]

Com es compara amb les eines de la formalitat?