Verifying a platform for digital imaging: a multi-tool strategy release_f4je7yzrofay5plr7vbidi52si

by Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz

Released as a article .

2013  

Abstract

Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. In particular, in our research - made together with a biologists team; we use Fiji in some pre-processing steps before undertaking a homological digital processing of images. In a previous work, we have formalised the correctness of the programs which use homological techniques to analyse digital images. However, the verification of Fiji's pre-processing step was missed. In this paper, we present a multi-tool approach filling this gap, based on the combination of Why/Krakatoa, Coq and ACL2.
In text/plain format

Archived Files and Locations

application/pdf  447.1 kB
file_cqjgjn7srzgc5f7d3mfpcuhp2i
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2013-03-05
Version   v1
Language   en ?
arXiv  1303.1420v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c8d51b13-e338-4b8e-9c73-bacfbd1fa311
API URL: JSON