This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under development
Bernardeschi Cinzia, Domenici Andrea, Fagiolini Adriano, Palmieri Maurizio (2020). Block-Based Models and Theorem Proving in Model-Based Development. ELECTRONIC COMMUNICATIONS OF THE EASST, 79 [10.14279/tuj.eceasst.79.1116.1067].
Block-Based Models and Theorem Proving in Model-Based Development
Fagiolini Adriano
;
2020-01-01
Abstract
This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under development
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
1116-3390-1-PB.pdf
accesso aperto
Tipologia:
Versione Editoriale
Dimensione
209.37 kB
Formato
Adobe PDF
|
209.37 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
