Michelle Aluf Medina and Danielle Boaz: Formal Verification of Parallel Biological Device