Provenance and Formal Methods: The Case of Digital Image Processing

摘要

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).