This paper proposes to apply model checking to the verification of the consistency between diagrams produced in the analysis of a system following the OMT methodology. It is then show how this verification technique can be integrated in a commercial CASE tool.
Formal verification of OMT dynamic models
Fantechi A;Gnesi S
1997
Abstract
This paper proposes to apply model checking to the verification of the consistency between diagrams produced in the analysis of a system following the OMT methodology. It is then show how this verification technique can be integrated in a commercial CASE tool.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408839-doc_143588.pdf
accesso aperto
Descrizione: Formal verification of OMT dynamic models
Dimensione
577.78 kB
Formato
Adobe PDF
|
577.78 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
