Formal Bioinformatics and Reliable Software