Formal Methods in Macro-Biology