Formal Methods in Molecular Biology