Block-Based Models and Theorem Proving in Model-Based Development
- Autori: Bernardeschi Cinzia; Domenici Andrea; Fagiolini Adriano; Palmieri Maurizio
- Anno di pubblicazione: 2020
- Tipologia: Articolo in rivista
- OA Link: http://hdl.handle.net/10447/532835
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