Block-Based Models and Theorem Proving in Model-Based Development

Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri

doi:10.14279/tuj.eceasst.79.1116

Block-Based Models and Theorem Proving in Model-Based Development

Authors

Cinzia Bernardeschi Department of Information Engineering, University of Pisa
Andrea Domenici
Adriano Fagiolini
Maurizio Palmieri

DOI:

https://doi.org/10.14279/tuj.eceasst.79.1116

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.

Downloads

Published

2021-05-10

How to Cite

[1]

C. Bernardeschi, A. Domenici, A. Fagiolini, and M. Palmieri, “Block-Based Models and Theorem Proving in Model-Based Development”, eceasst, vol. 79, May 2021.