Formalized Bioinformatics and Reliable Software (ForBaRS)