Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. 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 (based on the combination of Why/Krakatoa, Coq and ACL2) filling this gap. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Heras, J., Mata, G., Romero, A., Rubio, J., & Sáenz, R. (2013). Verifying a plaftorm for digital imaging: A multi-tool strategy. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7961 LNAI, pp. 66–81). https://doi.org/10.1007/978-3-642-39320-4_5
Mendeley helps you to discover research relevant for your work.