| Abstract: |
There is a well know problem of balancing efficiency and reliability when researchers attempt to combine scientific computation with formal verification of algorithms. Usually, verified programs cannot compete in performance with respect to applications in production. Both aspects (efficiency and reliability) are in particular very important in bioinformatics applications (for instance, in the context of biomedical image processing).
With the aim of addressing these problems, this research aims to set up an environment in which both scientific computation with digital images and formal verification of their algorithms are combined using techniques and standards of provenance. This environment design could be able to facilitating the reproducibility of the processes, and also to explaining the reasons why that processing has been performed. |